| 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 |
| Thu, 08 Jul 2004 19:33:05 +0200 | wenzelm | got rid of obsolete meta_simpset; | file | diff | annotate |
| Wed, 30 Jun 2004 00:42:59 +0200 | skalberg | Made simplification procedures simpset-aware. | file | diff | annotate |
| Sat, 29 May 2004 15:07:05 +0200 | wenzelm | transform_error; | file | diff | annotate |
| Thu, 22 Apr 2004 10:52:32 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 04 Oct 2001 15:19:56 +0200 | wenzelm | qualify MetaSimplifier; | file | diff | annotate |
| Fri, 28 Sep 2001 19:23:35 +0200 | wenzelm | prove: ``strict'' argument; | file | diff | annotate |
| Tue, 16 Jan 2001 00:40:57 +0100 | wenzelm | renamed Product_Type.split to split_conv; | file | diff | annotate |
| Thu, 04 Jan 2001 19:41:13 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Wed, 03 Jan 2001 21:20:40 +0100 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |