| Wed, 19 Aug 1998 10:28:25 +0200 | paulson | Tidied, removing uses of less_imp_diff_positive | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Mon, 09 Mar 1998 16:17:28 +0100 | wenzelm | eliminated pred function; | file | diff | annotate |
| Thu, 04 Dec 1997 09:05:59 +0100 | nipkow | Simplified proofs. | file | diff | annotate |
| Wed, 03 Dec 1997 17:25:43 +0100 | nipkow | Replaced n ~= 0 by 0 < n | file | diff | annotate |
| Wed, 05 Nov 1997 13:23:46 +0100 | paulson | Ran expandshort, especially to introduce Safe_tac | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 30 May 1997 15:21:21 +0200 | paulson | Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs | file | diff | annotate |
| Thu, 26 Sep 1996 12:47:47 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Fri, 19 Jul 1996 15:56:01 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Fri, 14 Jun 1996 12:25:02 +0200 | paulson | Explicitly included add_mult_distrib & add_mult_distrib2 | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |