univ.thy
Thu, 17 Mar 1994 17:02:49 +0100 lcp new type declaration syntax instead of numbers
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