| Tue, 16 Jan 2001 00:40:57 +0100 | wenzelm | renamed Product_Type.split to split_conv; | file | diff | annotate |
| Mon, 11 Dec 2000 20:10:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 21 Jul 2000 16:35:12 +0200 | prensani | Updating of some comments | file | diff | annotate |
| Wed, 19 Jul 2000 18:57:27 +0200 | oheimb | corrected header | file | diff | annotate |
| Sun, 04 Jun 2000 00:09:04 +0200 | wenzelm | removed method; | file | diff | annotate |
| Mon, 27 Mar 2000 21:41:19 +0200 | wenzelm | renamed 'hoare_vcg' to 'hoare'; | file | diff | annotate |
| Sun, 26 Mar 2000 22:29:33 +0200 | wenzelm | added WhileRule'; | file | diff | annotate |
| Sat, 25 Mar 2000 13:00:44 +0100 | wenzelm | addsimprocs [record_simproc]; | file | diff | annotate |
| Fri, 24 Mar 2000 21:15:56 +0100 | wenzelm | use abstract syntax; | file | diff | annotate |
| 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 |