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