Slava Pestov b4588629ab Remove identities on / and rem, which were no-ops because integer-derived-ops would return an empty array		2011-10-09 13:51:03 -07:00
..
identities.factor	Remove identities on / and rem, which were no-ops because integer-derived-ops would return an empty array	2011-10-09 13:51:03 -07:00
summary.txt	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00