factor

Author	SHA1	Message	Date
John Benediktsson	09d972018d	cleanup some use of with-scope.	2012-07-19 13:55:34 -07:00
Slava Pestov	c0f39aa99d	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	aea0fed14c	Fixing basis -> extra dependencies	2008-09-05 19:29:14 -05:00