doc-src/IsarImplementation/Thy/Logic.thy
2011-06-06 wenzelm 2011-06-06 moved incr_boundvars; discontinued low-level term operations;
2011-06-06 wenzelm 2011-06-06 modernized and re-unified Thm.transfer;
2011-05-03 wenzelm 2011-05-03 use existing \<hyphen>;
2011-05-01 wenzelm 2011-05-01 simplified keyword markup (without formal checking);
2011-05-01 wenzelm 2011-05-01 use @{rail} antiquotation (with some nested markup); eliminated separate rail/latex phase;
2011-04-19 wenzelm 2011-04-19 updated some theory primitives, which now depend on auxiliary context;
2010-10-29 wenzelm 2010-10-29 eliminated obsolete \_ escapes in rail environments;
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-13 wenzelm 2010-10-13 examples in Isabelle/HOL; tuned;
2010-10-11 wenzelm 2010-10-11 more refs;
2010-10-09 wenzelm 2010-10-09 various concrete ML antiquotations;
2010-10-07 wenzelm 2010-10-07 minor tuning and updating;
2010-09-10 wenzelm 2010-09-10 fixed antiquotation;
2010-04-26 wenzelm 2010-04-26 updated Sign.add_type_abbrev;
2010-04-16 wenzelm 2010-04-16 made SML/NJ happy;
2010-04-14 wenzelm 2010-04-14 updated Thm.add_axiom/add_def;
2010-03-23 wenzelm 2010-03-23 updated Thm.add_axiom/add_def;
2010-02-02 wenzelm 2010-02-02 misc tuning and clarification;
2010-01-28 wenzelm 2010-01-28 formal markup of type aliases; updated/tuned/clarified contexts; misc tuning and clarification;
2009-10-26 haftmann 2009-10-26 adjusted to changes in corresponding ML code
2009-10-01 wenzelm 2009-10-01 explicitly Unsynchronized;
2009-03-16 wenzelm 2009-03-16 provide Simplifier.norm_hhf(_protect) as regular simplifier operation;
2009-03-08 wenzelm 2009-03-08 use binding type;
2009-03-05 wenzelm 2009-03-05 Thm.add_oracle interface: replaced old bstring by binding;
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-21 wenzelm 2009-02-21 tuned;
2009-02-20 wenzelm 2009-02-20 improved section "Rule composition"; tuned;
2009-02-20 wenzelm 2009-02-20 tuned;
2009-02-20 wenzelm 2009-02-20 improved section on "Hereditary Harrop Formulae";
2009-02-19 wenzelm 2009-02-19 more on object-level rules; tuned;
2009-02-16 wenzelm 2009-02-16 minor tuning and typographic fixes;
2009-02-16 wenzelm 2009-02-16 removed rudiments of glossary;
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;