src/LK/LK.thy
Tue, 16 Jul 1996 15:44:21 +0200 paulson Tidied up; added "syntax" decl
Mon, 05 Feb 1996 14:44:09 +0100 clasohm expanded tabs
Wed, 25 Oct 1995 10:15:51 +0100 paulson Unused type sequ deleted
Wed, 21 Jun 1995 15:14:58 +0200 clasohm removed \...\ inside strings
Thu, 17 Mar 1994 17:48:37 +0100 lcp new type declaration syntax instead of numbers
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip