isabelle: Changelog

wenzelm [Thu, 27 Jul 2006 13:43:08 +0200] rev 20230

read_def_cterms (legacy version): Consts.certify;

wenzelm [Thu, 27 Jul 2006 13:43:07 +0200] rev 20229

Assumption.assume;

wenzelm [Thu, 27 Jul 2006 13:43:06 +0200] rev 20228

moved Goal.norm_hhf(_protect) to meta_simplifier.ML (pervasive);

wenzelm [Thu, 27 Jul 2006 13:43:05 +0200] rev 20227

removed obsolete equal_abs_elim(_list);

wenzelm [Thu, 27 Jul 2006 13:43:04 +0200] rev 20226

removed obsolete pretty_thm_no_quote;

wenzelm [Thu, 27 Jul 2006 13:43:03 +0200] rev 20225

added Pure/assumption.ML;

wenzelm [Thu, 27 Jul 2006 13:43:01 +0200] rev 20224

moved basic assumption operations from structure ProofContext to Assumption;

wenzelm [Thu, 27 Jul 2006 13:43:00 +0200] rev 20223

tuned proofs;

wenzelm [Thu, 27 Jul 2006 13:42:59 +0200] rev 20222

Local assumptions, parameterized by export rules.

wenzelm [Wed, 26 Jul 2006 19:37:44 +0200] rev 20221

updated;

isabelle