src/Sequents/S43.thy
2015-10-10 wenzelm 2015-10-10 more symbols;
2015-10-10 wenzelm 2015-10-10 more symbols;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2013-12-14 wenzelm 2013-12-14 proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; clarified tool context in some boundary cases;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2013-02-28 wenzelm 2013-02-28 eliminated legacy 'axioms';
2011-05-15 wenzelm 2011-05-15 simplified/unified method_setup/attribute_setup;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax};
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2004-05-21 wenzelm 2004-05-21 proper use of 'syntax';
1996-10-09 paulson 1996-10-09 New unified treatment of sequent calculi by Sara Kalvala combines the old LK and Modal with the new ILL (Int. Linear Logic)