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