slava 0727036ee6 Ratios and complexes now have headers, inference fixes		2006-05-15 22:00:37 +00:00
..
branches.factor	Ratios and complexes now have headers, inference fixes	2006-05-15 22:00:37 +00:00
dataflow.factor	More test fixes	2006-05-15 05:49:07 +00:00
inference.factor	Ratios and complexes now have headers, inference fixes	2006-05-15 22:00:37 +00:00
inference.facts	Move some files around	2006-04-28 22:48:48 +00:00
known-words.factor	More cons cell removals	2006-05-15 05:01:47 +00:00
shuffle.factor	Move some files around	2006-04-28 22:48:48 +00:00
stack.factor	Move some files around	2006-04-28 22:48:48 +00:00
words.factor	Ratios and complexes now have headers, inference fixes	2006-05-15 22:00:37 +00:00