| 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 |