| Mon, 10 Nov 1997 15:25:12 +0100 | wenzelm | ASCII-fied; | file | diff | annotate |
| 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 |
| Fri, 18 Apr 1997 11:54:54 +0200 | paulson | Renamed sign constructors to eliminate clash with the Plus infix of Sum.thy | file | diff | annotate |
| Tue, 26 Nov 1996 15:59:28 +0100 | paulson | New material from Norbert Voelker for efficient binary comparisons | file | diff | annotate |
| Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Fri, 29 Mar 1996 13:18:26 +0100 | paulson | Binary integers and their numeric syntax | file | diff | annotate |