Joe Groff a5957b188d nip most uses of tuck from extra		2009-11-05 22:22:21 -06:00
..
authors.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00
koszul-tests.factor	Merge qualified, alias, symbols, constants into core	2008-12-17 18:10:01 -06:00
koszul.factor	nip most uses of tuck from extra	2009-11-05 22:22:21 -06:00
summary.txt	Updating summary and authors	2008-01-27 01:02:31 -04:00