4 Commits (a8853daf1db23a424256d742b5d696d55d4a0dd3)

Author	SHA1	Message	Date
slava	79848ac511	Some simple-minded optimizations	2006-07-20 03:10:02 +00:00
slava	0727036ee6	Ratios and complexes now have headers, inference fixes	2006-05-15 22:00:37 +00:00
slava	1951e63d2d	Fix various test failures	2006-05-15 05:37:11 +00:00
slava	451bfb3915	Move some files around	2006-04-28 22:48:48 +00:00