Doug Coleman 45c0ef9a51 trivial factoring		2009-08-17 18:59:03 -05:00
..
authors.txt	…
functor.factor	trivial factoring	2009-08-17 18:59:03 -05:00