Fri, 02 Dec 1994 16:09:49 +0100 | nipkow | Moved HOL/List to HOL/ex/SList (strict list). | file | diff | annotate |
Thu, 25 Aug 1994 10:47:33 +0200 | lcp | INSTALLATION OF INDUCTIVE DEFINITIONS | file | diff | annotate |
Thu, 18 Aug 1994 12:48:03 +0200 | lcp | HOL/ex/Term, Simult: updated for new Split | file | diff | annotate |
Tue, 03 May 1994 15:48:19 +0200 | lcp | removal of obsolete type-declaration syntax | file | diff | annotate |
Wed, 02 Mar 1994 12:26:55 +0100 | clasohm | changed "." to "$" and Cons to infix "#" to eliminate ambiguity | file | diff | annotate |
Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |