doc-src/IsarRef/Thy/document/Proof.tex
2010-10-29 wenzelm 2010-10-29 eliminated obsolete \_ escapes in rail environments;
2010-06-07 wenzelm 2010-06-07 more uniform treatment of options and attributes, preferring formal markup over old-style LaTeX macros;
2010-06-07 berghofe 2010-06-07 Documented changes in induct, cases, and nominal_induct method.
2010-04-26 wenzelm 2010-04-26 command 'example_proof' opens an empty proof body;
2010-04-23 wenzelm 2010-04-23 updated generated files;
2009-03-16 wenzelm 2009-03-16 updated generated file;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-03-12 wenzelm 2009-03-12 updated generated files;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-28 wenzelm 2009-02-28 updated generated files;
2009-02-15 wenzelm 2009-02-15 updated generated files;
2009-02-12 wenzelm 2009-02-12 updated generated files;
2008-11-20 wenzelm 2008-11-20 updated generated files;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
2008-11-13 wenzelm 2008-11-13 updated generated files;
2008-06-10 wenzelm 2008-06-10 updated generated file;
2008-06-10 wenzelm 2008-06-10 updated generated file;
2008-06-02 wenzelm 2008-06-02 updated generated file;
2008-05-18 wenzelm 2008-05-18 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-05-14 wenzelm 2008-05-14 updated generated file;
2008-05-10 wenzelm 2008-05-10 misc reorganization;
2008-05-09 wenzelm 2008-05-09 added chapters for "Specifications" and "Proofs";