Thu, 10 Sep 1998 17:27:50 +0200 |
paulson |
tidied, fixing PROOF FAILED
|
file |
diff |
annotate
|
Wed, 19 Aug 1998 10:27:49 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 13:19:38 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
Sun, 12 Jul 1998 11:49:17 +0200 |
wenzelm |
isatool expandshort;
|
file |
diff |
annotate
|
Fri, 03 Jul 1998 10:37:04 +0200 |
nipkow |
Removed leading !! in goals.
|
file |
diff |
annotate
|
Mon, 22 Jun 1998 17:26:46 +0200 |
wenzelm |
isatool fixgoal;
|
file |
diff |
annotate
|
Mon, 18 May 1998 17:31:58 +0200 |
nipkow |
snoc_induct/exhaust -> rev_induct_exhaust.
|
file |
diff |
annotate
|
Fri, 08 May 1998 18:33:29 +0200 |
nipkow |
Reshuffeling, renaming and a few simple corollaries.
|
file |
diff |
annotate
|