doc-src/IsarRef/Thy/document/Proof.tex
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 updated generated files;
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-11-08 ago updated generated files;
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 updated generated files;
2009-03-16 ago updated generated file;
2009-03-13 ago unified type Proof.method and pervasive METHOD combinators;
2009-03-12 ago updated generated files;
2009-03-04 ago Merge.
2009-03-04 ago Merge.
2009-02-28 ago updated generated files;
2009-02-15 ago updated generated files;
2009-02-12 ago updated generated files;
2008-11-20 ago updated generated files;
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-11-13 ago updated generated files;
2008-06-10 ago updated generated file;
2008-06-10 ago updated generated file;
2008-06-02 ago updated generated file;
2008-05-18 ago updated generated file;
2008-05-15 ago updated generated file;
2008-05-15 ago updated generated file;
2008-05-15 ago updated generated file;
2008-05-14 ago updated generated file;
2008-05-10 ago misc reorganization;
2008-05-09 ago added chapters for "Specifications" and "Proofs";