2006-01-19 ago setup: theory -> theory;
2006-01-04 ago tuned;
2005-11-25 ago forall_conv ~1;
2005-11-08 ago renamed assert_prop to ensure_prop;
2005-10-18 ago renamed atomize_rule to atomize_cterm;
2005-06-17 ago accomodate change of TheoryDataFun;
2005-05-17 ago tuned;
2005-04-21 ago superceded by Pure.thy and CPure.thy;
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-06-23 ago Moved conversion rules from MetaSimplifier to Drule. refl_implies removed
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-01 ago removed obsolete sort 'logic';
2004-05-14 ago conversion of theorems to atomic form
2003-10-10 ago Made judgments automatically declared final.
2002-07-16 ago assert_propT;
2002-07-10 ago added assert_judgment;
2002-05-31 ago Changed interface of MetaSimplifier.rewrite_term.
2002-01-21 ago full_atomize;
2002-01-17 ago atomize_term replaces atomize_cterm;
2002-01-12 ago added atomize_cterm;
2002-01-12 ago renamed forall_elim_vars_safe to gen_all;
2001-12-12 ago drop_judgment: be graceful about undeclared judgment;
2001-12-05 ago tuned;
2001-11-28 ago theory data: removed obsolete finish method;
2001-11-09 ago theory data: finish method;
2001-10-22 ago moved object_logic.ML to Isar/object_logic.ML;