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 |