doc-src/IsarImplementation/Thy/Logic.thy
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;