| Tue, 07 Nov 2000 17:53:12 +0100 | berghofe | Moved rewriting functions from Thm to MetaSimplifier. | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 29 Sep 2000 18:02:24 +0200 | berghofe | Now some functions try to avoid name clashes when introducing new free | file | diff | annotate |
| Mon, 18 Sep 2000 14:10:31 +0200 | wenzelm | indicate occurrences of 'handle _'; | file | diff | annotate |
| Wed, 06 Sep 2000 16:54:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Sep 2000 18:53:42 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 18 May 2000 11:43:57 +0200 | wenzelm | fewer consts declared as global; | file | diff | annotate |
| Wed, 18 Aug 1999 18:44:20 +0200 | paulson | from Konrad: support for schematic definitions | file | diff | annotate |
| Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | file | diff | annotate |