doc-src/IsarRef/Thy/Proof.thy
2011-10-13 ago tuned markup
2011-10-03 ago some amendments due to Jean Pichon;
2011-09-20 ago New proof method "induction" that gives induction hypotheses the name IH.
2011-08-12 ago documented extended version of case_names attribute
2011-07-01 ago cover induct's "arbitrary" more deeply
2011-05-15 ago optional description for 'attribute_setup' and 'method_setup';
2011-05-05 ago tuned some syntax names;
2011-05-05 ago tuned rail diagrams and layout;
2011-05-03 ago formal Base theory;
2011-05-02 ago eliminated some duplicate "def" positions;
2011-05-02 ago more precise rail diagrams;
2011-05-02 ago modernized rail diagrams using @{rail} antiquotation;
2010-12-05 ago command 'notepad' replaces former 'example_proof';
2010-10-29 ago eliminated obsolete \_ escapes in rail environments;
2010-06-07 ago more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;
2010-06-07 ago Documented changes in induct, cases, and nominal_induct method.
2010-04-26 ago command 'example_proof' opens an empty proof body;
2010-04-23 ago cover 'schematic_lemma' etc.;
2009-03-16 ago simplifief 'method_setup' command;
2009-03-13 ago unified type Proof.method and pervasive METHOD combinators;
2009-03-12 ago tuned;
2009-03-04 ago Merge.
2009-03-04 ago Merge.
2009-02-28 ago moved method "iprover" to HOL specific part;
2009-02-15 ago added label;
2009-02-15 ago tuned;
2009-02-11 ago tuned formal markup;
2008-11-20 ago Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-11-13 ago updated/refined types of Isar language elements, removed special LaTeX macros;
2008-11-13 ago unified use of declaration environment with IsarImplementation;
2008-11-13 ago tuned section "Incorporating ML code";
2008-11-13 ago tuned section arrangement;
2008-11-13 ago moved section "Proof method expressions" to proof chapter;
2008-06-10 ago * Attributes cases, induct, coinduct support del option.
2008-06-10 ago tuned;
2008-06-02 ago major reorganization of document structure;
2008-05-16 ago removed obsolete case rule_context;
2008-05-15 ago fixed some Isar element markups;
2008-05-14 ago proper checking of various Isar elements;
2008-05-14 ago remobed obsolete keyword concl;
2008-05-10 ago misc reorganization;
2008-05-09 ago added chapters for "Specifications" and "Proofs";