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
|