Slava Pestov 8b8b9031fd Move a few libraries from extra to basis since basis stuff depends on them		2009-11-01 22:17:00 -06:00
..
authors.txt	Move a few libraries from extra to basis since basis stuff depends on them	2009-11-01 22:17:00 -06:00
normalization-docs.factor	Move a few libraries from extra to basis since basis stuff depends on them	2009-11-01 22:17:00 -06:00
normalization-tests.factor	Move a few libraries from extra to basis since basis stuff depends on them	2009-11-01 22:17:00 -06:00
normalization.factor	Move a few libraries from extra to basis since basis stuff depends on them	2009-11-01 22:17:00 -06:00