Sam Tobin-Hochstadt b7c5360562 `andmap' now works as a predicate in Typed Scheme ... svn: r17575 original commit: f13453e8893ed86e7f90a596e80aed9e61755d89		2010-01-08 19:05:58 +00:00
..
typed-scheme	`andmap' now works as a predicate in Typed Scheme	2010-01-08 19:05:58 +00:00
xml/clark-tests/not-wf/sa	new units, contracts, tests	2009-02-26 17:09:26 +00:00