| Tue, 11 Jul 2006 12:16:54 +0200 | wenzelm | replaced Term.variant(list) by Name.variant(_list); | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:33 +0200 | wenzelm | Goal.prove_global; | file | diff | annotate |
| Mon, 19 Jun 2006 22:06:36 +0200 | wenzelm | refrain from reforming TFL -- back to previous revision; | file | diff | annotate |
| Mon, 19 Jun 2006 20:21:30 +0200 | wenzelm | eliminated freeze/varify in favour of Variable.import/export/trade; | file | diff | annotate |
| Tue, 13 Jun 2006 23:41:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:06 +0100 | wenzelm | sane ERROR handling; | file | diff | annotate |
| Wed, 16 Nov 2005 17:45:30 +0100 | wenzelm | tuned Pattern.match/unify; | file | diff | annotate |
| Tue, 25 Oct 2005 18:18:49 +0200 | wenzelm | avoid legacy goals; | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:38 +0200 | wenzelm | OldGoals; | file | diff | annotate |
| Tue, 18 Oct 2005 17:59:25 +0200 | wenzelm | Simplifier.theory_context; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:40 +0200 | wenzelm | refer to theory instead of low-level tsig; | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:55 +0200 | wenzelm | avoid symbolic identifier; | file | diff | annotate |
| Fri, 26 Aug 2005 08:42:52 +0200 | haftmann | replaced '?' by '??' | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:38 +0200 | wenzelm | replaced itlist by fold_rev; | file | diff | annotate |
| Thu, 21 Apr 2005 19:13:03 +0200 | berghofe | Adapted to new interface of instantiation and unification / matching functions. | 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 |
| 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 |