| Tue, 29 Aug 2000 00:55:31 +0200 | wenzelm | cong setup now part of Simplifier; | file | diff | annotate |
| Thu, 06 Jul 2000 11:24:09 +0200 | paulson | removal of batch style, and tidying | file | diff | annotate |
| Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | file | diff | annotate |
| Wed, 28 Jul 1999 13:55:34 +0200 | paulson | congruence rule for |-, etc. | file | diff | annotate |
| Tue, 27 Jul 1999 19:02:43 +0200 | paulson | installation of simplifier and classical reasoner, better rules etc | file | diff | annotate |