| 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 |