ex/Simult.thy
Thu, 25 Aug 1994 10:47:33 +0200 lcp INSTALLATION OF INDUCTIVE DEFINITIONS
Thu, 18 Aug 1994 12:48:03 +0200 lcp HOL/ex/Term, Simult: updated for new Split
Tue, 03 May 1994 15:48:19 +0200 lcp removal of obsolete type-declaration syntax
Wed, 02 Mar 1994 12:26:55 +0100 clasohm changed "." to "$" and Cons to infix "#" to eliminate ambiguity
Thu, 16 Sep 1993 12:21:07 +0200 clasohm Initial revision
less more (0) tip