Wed, 02 Aug 2006 22:27:04 +0200 | wenzelm | normalized Proof.context/method type aliases; | changeset | files |
Wed, 02 Aug 2006 22:27:03 +0200 | wenzelm | simplified Assumption/ProofContext.export; | changeset | files |
Wed, 02 Aug 2006 22:27:02 +0200 | wenzelm | added tactical result; | changeset | files |
Wed, 02 Aug 2006 22:27:01 +0200 | wenzelm | removed obsolete Drule.frees/vars_of etc.; | changeset | files |
Wed, 02 Aug 2006 22:27:00 +0200 | wenzelm | normalized Proof.context/method type aliases; | changeset | files |
Wed, 02 Aug 2006 22:26:59 +0200 | wenzelm | simplified Proof.end_block; | changeset | files |
Wed, 02 Aug 2006 22:26:58 +0200 | wenzelm | removed obsolete Drule.frees/vars_of etc.; | changeset | files |