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