| Thu, 27 Jul 2006 13:43:08 +0200 | wenzelm | read_def_cterms (legacy version): Consts.certify; | changeset | files |
| Thu, 27 Jul 2006 13:43:07 +0200 | wenzelm | Assumption.assume; | changeset | files |
| Thu, 27 Jul 2006 13:43:06 +0200 | wenzelm | moved Goal.norm_hhf(_protect) to meta_simplifier.ML (pervasive); | changeset | files |
| Thu, 27 Jul 2006 13:43:05 +0200 | wenzelm | removed obsolete equal_abs_elim(_list); | changeset | files |
| Thu, 27 Jul 2006 13:43:04 +0200 | wenzelm | removed obsolete pretty_thm_no_quote; | changeset | files |
| Thu, 27 Jul 2006 13:43:03 +0200 | wenzelm | added Pure/assumption.ML; | changeset | files |
| Thu, 27 Jul 2006 13:43:01 +0200 | wenzelm | moved basic assumption operations from structure ProofContext to Assumption; | changeset | files |
| Thu, 27 Jul 2006 13:43:00 +0200 | wenzelm | tuned proofs; | changeset | files |