src/Pure/Isar/object_logic.ML
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;