src/Pure/General/susp.ML
Tue, 19 Sep 2006 15:21:55 +0200 haftmann added suspensions in Pure
Thu, 02 Jun 2005 09:11:32 +0200 wenzelm header;
Fri, 05 Dec 2003 19:39:39 +0100 skalberg Added lazy sequences and parser combinators for same.
less more (0) tip