| 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 |