Tue, 19 Jan 1999 11:18:11 +0100 |
paulson |
removal of the (thm list) argument of mk_cases
|
file |
diff |
annotate
|
Wed, 23 Sep 1998 10:03:32 +0200 |
paulson |
deleted needless parentheses
|
file |
diff |
annotate
|
Fri, 31 Jul 1998 10:48:42 +0200 |
paulson |
Removal of obsolete "open" commands from heads of .ML files
|
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
|
Wed, 26 Nov 1997 17:26:12 +0100 |
paulson |
Tidying and modification to cope with iffCE
|
file |
diff |
annotate
|
Mon, 03 Nov 1997 12:13:18 +0100 |
wenzelm |
isatool fixclasimp;
|
file |
diff |
annotate
|
Tue, 10 Sep 1996 20:10:29 +0200 |
nipkow |
Converted proofs to use default clasets.
|
file |
diff |
annotate
|
Tue, 07 May 1996 18:17:52 +0200 |
paulson |
Removal of special syntax for -a-> and -b->
|
file |
diff |
annotate
|
Sat, 27 Apr 1996 18:49:21 +0200 |
nipkow |
Arithemtic and boolean expressions are now in a separate theory.
|
file |
diff |
annotate
|