src/Cube/Cube.thy
Wed, 21 Jun 1995 15:01:07 +0200 clasohm removed \...\ inside strings
Tue, 03 May 1994 11:28:51 +0200 lcp removal of obsolete type-declaration syntax
Mon, 04 Oct 1993 15:44:29 +0100 wenzelm replaced id by idt;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip