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