5 Commits (46b043c0b8a671323178c47c7a9cd41b51b83e4a)

Author	SHA1	Message	Date
John Benediktsson	1a73e79ef7	cleanup some use of with-scope.	2012-07-19 13:55:34 -07:00
Slava Pestov	ea726f5680	Move remaining sequence operations from generalizations to sequences.generalizations where they belong	2010-05-18 18:36:47 -04:00
Doug Coleman	90cdb6c4f4	remove >r r>	2008-12-08 00:10:24 -06:00
Slava Pestov	79f3865f92	Add missing meta-data	2008-09-23 16:11:59 -05:00
Slava Pestov	aea0fed14c	Fixing basis -> extra dependencies	2008-09-05 19:29:14 -05:00