| 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 |
| Thu, 27 Jul 2006 13:42:59 +0200 | wenzelm | Local assumptions, parameterized by export rules. | changeset | files |
| Wed, 26 Jul 2006 19:37:44 +0200 | wenzelm | updated; | changeset | files |