| Thu, 31 May 2007 23:47:36 +0200 | wenzelm | simplified/unified list fold; | file | diff | annotate |
| Thu, 16 Nov 2006 01:07:25 +0100 | wenzelm | moved some fundamental concepts to General/basics.ML; | file | diff | annotate |
| Thu, 09 Nov 2006 21:44:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 03 Aug 2006 17:30:40 +0200 | wenzelm | removed obsolete commute, map_list; | file | diff | annotate |
| Sat, 17 Jun 2006 19:37:53 +0200 | wenzelm | added singleton; | file | diff | annotate |
| Mon, 12 Jun 2006 21:19:05 +0200 | wenzelm | tuned interfaces; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:40 +0200 | wenzelm | added map_filter; | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:16 +0200 | wenzelm | curried Seq.cons; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:31 +0200 | wenzelm | added maps, map_list, lift, lifts; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 18 May 2005 11:30:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 26 Jan 2002 19:15:51 +0100 | wenzelm | generic DETERM; | file | diff | annotate |
| Thu, 11 Oct 2001 19:22:15 +0200 | wenzelm | added try; | file | diff | annotate |
| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 20 Mar 2000 18:46:53 +0100 | wenzelm | ALLGOALS_RANGE superceded by Seq.INTERVAL; | file | diff | annotate |
| Thu, 08 Jul 1999 18:29:30 +0200 | wenzelm | added commute: 'a seq list -> 'a list seq; | file | diff | annotate |
| Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
| Sat, 14 Nov 1998 13:26:11 +0100 | wenzelm | prefixed op; | file | diff | annotate |
| Fri, 25 Sep 1998 12:01:47 +0200 | wenzelm | added REPEAT1; | file | diff | annotate |
| Wed, 10 Jun 1998 11:52:59 +0200 | wenzelm | moved seq.ML to General/seq.ML; | file | diff | annotate |