Thu, 27 Jul 2006 23:28:23 +0200 wenzelm declare_term_names: cover types as well;
Thu, 27 Jul 2006 15:33:21 +0200 wenzelm eliminated obsolete freeze_thaw;
Thu, 27 Jul 2006 14:21:57 +0200 webertj type annotation added to make SML/NJ happy
Thu, 27 Jul 2006 13:44:03 +0200 wenzelm "moved basic assumption operations from structure ProofContext to Assumption;"
Thu, 27 Jul 2006 13:43:13 +0200 wenzelm ProofContext.legacy_pretty_thm;
Thu, 27 Jul 2006 13:43:12 +0200 wenzelm added legacy_pretty_thm (with fall-back on ProtoPure.thy);
Thu, 27 Jul 2006 13:43:11 +0200 wenzelm Assumption.assume;
Thu, 27 Jul 2006 13:43:10 +0200 wenzelm removed obsolete is_fact (cf. Thm.no_prems);
Thu, 27 Jul 2006 13:43:09 +0200 wenzelm tuned interfaces;
Thu, 27 Jul 2006 13:43:08 +0200 wenzelm read_def_cterms (legacy version): Consts.certify;
Thu, 27 Jul 2006 13:43:07 +0200 wenzelm Assumption.assume;
Thu, 27 Jul 2006 13:43:06 +0200 wenzelm moved Goal.norm_hhf(_protect) to meta_simplifier.ML (pervasive);
Thu, 27 Jul 2006 13:43:05 +0200 wenzelm removed obsolete equal_abs_elim(_list);
Thu, 27 Jul 2006 13:43:04 +0200 wenzelm removed obsolete pretty_thm_no_quote;
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip