| Fri, 22 Nov 1996 17:44:05 +0100 |
paulson |
Minor textual improvements; updating of a reference
|
file |
diff |
annotate
|
| Wed, 30 Oct 1996 11:17:54 +0100 |
paulson |
Minor updates
|
file |
diff |
annotate
|
| Wed, 17 Jul 1996 15:25:50 +0200 |
paulson |
Edited in response to referees comments; new references
|
file |
diff |
annotate
|
| Thu, 09 May 1996 11:46:32 +0200 |
paulson |
Updated for new form of induction rules
|
file |
diff |
annotate
|
| Mon, 04 Mar 1996 17:24:51 +0100 |
paulson |
Revised for publication. Removed LNCS style.
|
file |
diff |
annotate
|
| Fri, 22 Dec 1995 13:38:57 +0100 |
paulson |
Note that unfold is not exported, that mutual_induct can
|
file |
diff |
annotate
|
| Wed, 26 Jul 1995 10:26:19 +0200 |
lcp |
trivial updates to header and bibliography
|
file |
diff |
annotate
|
| Fri, 09 Sep 1994 12:25:56 +0200 |
lcp |
Updated for existence of HOL version and infinitely
|
file |
diff |
annotate
|
| Tue, 06 Sep 1994 13:28:56 +0200 |
lcp |
documentation of theory sections (co)inductive and (co)datatype
|
file |
diff |
annotate
|
| Fri, 29 Jul 1994 13:21:26 +0200 |
lcp |
revised for new theory system: removal of ext, addition of thy_name
|
file |
diff |
annotate
|
| Mon, 11 Jul 1994 16:29:21 +0200 |
lcp |
misc updates
|
file |
diff |
annotate
|
| Tue, 03 May 1994 18:07:41 +0200 |
lcp |
post-CRC corrections
|
file |
diff |
annotate
|
| Thu, 02 Dec 1993 12:49:03 +0100 |
lcp |
removal of amssymbols.sty and lcp.sty; addition of iman.sty
|
file |
diff |
annotate
|
| Wed, 01 Dec 1993 13:00:04 +0100 |
lcp |
minor corrections
|
file |
diff |
annotate
|
| Fri, 19 Nov 1993 11:31:10 +0100 |
lcp |
Many edits suggested by Grundy & Thompson
|
file |
diff |
annotate
|
| Tue, 09 Nov 1993 16:47:38 +0100 |
lcp |
Initial revision
|
file |
diff |
annotate
|