src/HOL/Import/lazy_seq.ML
Thu, 16 Nov 2006 01:07:25 +0100 wenzelm moved some fundamental concepts to General/basics.ML;
Tue, 19 Sep 2006 15:21:55 +0200 haftmann added suspensions in Pure
Fri, 17 Feb 2006 15:03:26 +0100 obua replaced Symbol.explode by explode
Thu, 16 Feb 2006 23:30:47 +0100 obua improved scanning
Wed, 15 Feb 2006 23:57:06 +0100 obua fixed bugs, added caching
Sat, 08 Oct 2005 22:39:40 +0200 wenzelm moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
less more (0) tip