doc-src/IsarImplementation/Thy/logic.thy
2008-11-13 wenzelm 2008-11-13 renamed "Rules" to "Object-level rules";
2008-10-23 wenzelm 2008-10-23 renamed Thm.get_axiom_i to Thm.axiom;
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-09-03 wenzelm 2008-09-03 Sign.declare_const: Name.binding;
2008-08-27 wenzelm 2008-08-27 type Properties.T;
2008-05-10 wenzelm 2008-05-10 fixed some labels;
2007-10-11 wenzelm 2007-10-11 replaced Sign.add_consts_i by Sign.declare_const;
2007-10-04 wenzelm 2007-10-04 updated Sign.add_abbrev;
2007-02-14 haftmann 2007-02-14 continued
2006-12-13 wenzelm 2006-12-13 updated;
2006-11-13 haftmann 2006-11-13 adjusted
2006-10-09 wenzelm 2006-10-09 tuned;
2006-09-15 wenzelm 2006-09-15 tuned;
2006-09-15 wenzelm 2006-09-15 tuned;
2006-09-14 wenzelm 2006-09-14 more on theorems;
2006-09-14 wenzelm 2006-09-14 *** empty log message ***
2006-09-12 wenzelm 2006-09-12 more on theorems;
2006-09-12 wenzelm 2006-09-12 tuned;
2006-09-12 wenzelm 2006-09-12 more on terms;
2006-09-12 wenzelm 2006-09-12 more on terms; tuned;
2006-09-11 wenzelm 2006-09-11 more rules;
2006-09-11 wenzelm 2006-09-11 more rules;
2006-09-08 wenzelm 2006-09-08 tuned;
2006-09-08 wenzelm 2006-09-08 tuned;
2006-09-07 wenzelm 2006-09-07 tuned;
2006-09-05 wenzelm 2006-09-05 more on types and type classes;
2006-09-05 wenzelm 2006-09-05 tuned;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-09-04 wenzelm 2006-09-04 more on variables; tuned;
2006-08-31 wenzelm 2006-08-31 misc cleanup;
2006-08-31 wenzelm 2006-08-31 tuned;
2006-08-30 wenzelm 2006-08-30 tuned;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;