| Thu, 29 Jul 1999 12:44:57 +0200 | paulson | added parentheses to cope with a possible reduction of the precedence of unary | file | diff | annotate |
| Fri, 29 Jan 1999 16:26:12 +0100 | paulson | expandshort | file | diff | annotate |
| Wed, 14 Oct 1998 15:26:31 +0200 | nipkow | New many-sorted version. | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
| Tue, 22 Jul 1997 11:12:55 +0200 | paulson | Removal of the tactical STATE | file | diff | annotate |
| Fri, 04 Apr 1997 14:05:12 +0200 | nipkow | renamed variable 'inv' | file | diff | annotate |
| Fri, 19 Jul 1996 15:56:01 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Fri, 08 Mar 1996 13:11:09 +0100 | clasohm | added constdefs section | 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 |