| Tue, 09 Jan 2001 15:36:30 +0100 | nipkow | ` -> $ | file | diff | annotate |
| Tue, 17 Oct 2000 10:20:43 +0200 | paulson | tidying and renaming of contrapos rules | file | diff | annotate |
| Wed, 05 Jul 2000 16:37:52 +0200 | paulson | massive tidy-up: goal -> Goal, remove use of prems, etc. | file | diff | annotate |
| Wed, 28 Jun 2000 10:54:21 +0200 | paulson | tidying and unbatchifying | file | diff | annotate |
| Wed, 12 Aug 1998 12:17:20 +0200 | slotosch | eliminated fabs,fapp. | file | diff | annotate |
| Tue, 10 Mar 1998 18:33:13 +0100 | oheimb | renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin | file | diff | annotate |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Thu, 30 Oct 1997 14:19:17 +0100 | oheimb | domain package: | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Thu, 26 Jun 1997 10:43:15 +0200 | nipkow | amdI -> admI2 | file | diff | annotate |
| Sun, 25 May 1997 16:17:09 +0200 | slotosch | Eliminated the prediates flat,chfin | file | diff | annotate |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |