src/Cube/Cube.thy
2019-01-04 wenzelm isabelle update -u control_cartouches;
2015-10-10 wenzelm tuned;
2015-10-10 wenzelm tuned syntax -- more symbols;
2015-10-10 wenzelm more symbols;
2014-11-02 wenzelm modernized header uniformly as section;
2014-10-07 wenzelm more cartouches;
2014-08-16 wenzelm prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
2013-05-25 wenzelm syntax translations always depend on context;
2012-10-10 wenzelm modernized dynamic "rules" -- avoid rebinding of static facts;
2011-10-22 wenzelm discontinued redundant ASCII syntax;
2011-10-22 wenzelm modernized specifications;
2011-04-08 wenzelm explicit structure Syntax_Trans;
2011-01-12 wenzelm eliminated global prems;
2010-12-17 wenzelm replaced command 'nonterminals' by slightly modernized version 'nonterminal';
2010-09-20 wenzelm renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-02-21 wenzelm adapted to authentic syntax;
2010-02-11 wenzelm modernized translations;
2010-02-08 wenzelm modernized some syntax translations;
2008-05-18 wenzelm setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
2007-09-30 wenzelm avoid internal names;
2007-04-26 wenzelm added header;
2005-10-07 wenzelm replaced _K by dummy abstraction;
2005-09-05 wenzelm tuned;
2005-09-03 wenzelm converted to Isar theory format;
2001-04-19 paulson renaming of theory LOmega to lomega2 in order to prevent a possible
1998-01-20 wenzelm reorganized into individual theories;
1997-10-06 wenzelm "->" made syntax;
1997-10-06 wenzelm syntactic constants;
1995-06-21 clasohm removed \...\ inside strings
1994-05-03 lcp removal of obsolete type-declaration syntax
1993-10-04 wenzelm replaced id by idt;
1993-09-16 clasohm Initial revision
less more (0) tip