src/Cube/Cube.thy
Wed, 12 Jan 2011 16:33:04 +0100 wenzelm eliminated global prems;
Fri, 17 Dec 2010 17:43:54 +0100 wenzelm replaced command 'nonterminals' by slightly modernized version 'nonterminal';
Mon, 20 Sep 2010 16:05:25 +0200 wenzelm renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
Sun, 21 Feb 2010 21:10:01 +0100 wenzelm adapted to authentic syntax;
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Mon, 08 Feb 2010 21:28:27 +0100 wenzelm modernized some syntax translations;
Sun, 18 May 2008 17:03:16 +0200 wenzelm setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
Sun, 30 Sep 2007 21:55:15 +0200 wenzelm avoid internal names;
Thu, 26 Apr 2007 14:24:12 +0200 wenzelm added header;
Fri, 07 Oct 2005 22:59:19 +0200 wenzelm replaced _K by dummy abstraction;
Mon, 05 Sep 2005 17:38:17 +0200 wenzelm tuned;
Sat, 03 Sep 2005 21:43:50 +0200 wenzelm converted to Isar theory format;
Thu, 19 Apr 2001 15:42:53 +0200 paulson renaming of theory LOmega to lomega2 in order to prevent a possible
Tue, 20 Jan 1998 18:26:26 +0100 wenzelm reorganized into individual theories;
Mon, 06 Oct 1997 19:16:57 +0200 wenzelm "->" made syntax;
Mon, 06 Oct 1997 09:26:00 +0200 wenzelm syntactic constants;
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