src/FOLP/ex/Nat.thy
Mon, 05 Feb 1996 21:33:14 +0100 clasohm expanded tabs
Wed, 21 Jun 1995 15:01:07 +0200 clasohm removed \...\ inside strings
Tue, 03 May 1994 15:14:54 +0200 lcp removal of obsolete type-declaration syntax
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip