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