| Tue, 16 Oct 2012 15:14:12 +0200 | wenzelm | more informative errors for 'proof' and 'apply' steps; | file | diff | annotate |
| Tue, 16 Oct 2012 13:06:40 +0200 | wenzelm | more informative error messages of initial/terminal proof methods; | file | diff | annotate |
| Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | file | diff | annotate |
| Sat, 25 Jul 2009 18:55:12 +0200 | wenzelm | eliminated obsolete/obscure Seq.wrap, Position.setmp_thread_data_seq; | file | diff | annotate |
| Fri, 24 Jul 2009 12:00:02 +0200 | wenzelm | renamed Pure/tctical.ML to Pure/tactical.ML; | file | diff | annotate |
| Fri, 13 Feb 2009 13:28:14 +0100 | haftmann | made SMLNJ happy | file | diff | annotate |
| Wed, 11 Feb 2009 14:48:14 +1100 | kleing | FindTheorems: add solves feature; tidy up const name subsettin; patch by Timothy Bourke | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Wed, 14 May 2008 11:17:36 +0200 | wenzelm | explicit constraints for int literals; | file | diff | annotate |
| Thu, 24 Jan 2008 23:51:15 +0100 | wenzelm | added combinator for wrapped lazy evaluation; | file | diff | annotate |
| 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 |