doc-src/IsarImplementation/Thy/Proof.thy
2011-05-03 wenzelm 2011-05-03 use existing \<hyphen>;
2011-04-30 wenzelm 2011-04-30 updated Variable.focus;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2010-12-05 wenzelm 2010-12-05 prefer 'notepad' over 'example_proof';
2010-10-26 wenzelm 2010-10-26 tuned;
2010-10-25 wenzelm 2010-10-25 misc tuning;
2010-10-18 wenzelm 2010-10-18 tuned;
2010-10-17 wenzelm 2010-10-17 use continental paragraph style, which works better with mixture of (in)formal text; tuned skips and indents; tuned;
2010-10-15 wenzelm 2010-10-15 more examples;
2010-10-15 wenzelm 2010-10-15 more examples; tuned;
2010-10-13 wenzelm 2010-10-13 examples in Isabelle/HOL; tuned;
2010-10-11 wenzelm 2010-10-11 more examples;
2010-10-07 wenzelm 2010-10-07 minor tuning and updating;
2010-02-02 wenzelm 2010-02-02 some examples for basic context operations;
2010-02-02 wenzelm 2010-02-02 added Subgoal.FOCUS; misc tuning and clarification;
2009-08-01 wenzelm 2009-08-01 updated Variable.import;
2009-07-26 wenzelm 2009-07-26 updated Variable.focus, SUBPROOF, Obtain.result, Goal.finish;
2009-06-24 wenzelm 2009-06-24 renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); renamed Variable.importT_thms to Variable.importT (again);
2009-03-05 wenzelm 2009-03-05 regenerated document;
2009-03-05 wenzelm 2009-03-05 dummy changes to produce a new changeset of these files;
2009-02-16 wenzelm 2009-02-16 minor tuning and typographic fixes;
2009-02-16 wenzelm 2009-02-16 tuned refs;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;