| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | file | diff | annotate |
| Wed, 23 Jul 1997 17:44:15 +0200 | nipkow | Simplified a few proofs because of improved simplification. | file | diff | annotate |
| Thu, 15 May 1997 15:51:47 +0200 | oheimb | renamed unsafe_addss to addss | file | diff | annotate |
| Fri, 14 Mar 1997 10:37:01 +0100 | nipkow | Modified proofs because simplifier does not eta-contract any longer. | file | diff | annotate |
| Sat, 15 Feb 1997 17:52:31 +0100 | oheimb | reflecting my recent changes of the simplifier and classical reasoner | file | diff | annotate |
| Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | file | diff | annotate |
| Fri, 17 Jan 1997 13:21:54 +0100 | nipkow | This is the old version og MiniML for the monomorphic case. | file | diff | annotate |