| Wed, 09 Aug 2006 10:59:58 +0200 | wenzelm | * ProofContext.prems_limit is now -1 by default; | changeset | files |
| Wed, 09 Aug 2006 00:14:28 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 09 Aug 2006 00:12:40 +0200 | wenzelm | global goals/qeds: after_qed operates on Proof.context (potentially local_theory); | changeset | files |
| Wed, 09 Aug 2006 00:12:39 +0200 | wenzelm | renamed map_theory to theory; | changeset | files |
| Wed, 09 Aug 2006 00:12:38 +0200 | wenzelm | global goals/qeds: after_qed operates on Proof.context (potentially local_theory); | changeset | files |
| Wed, 09 Aug 2006 00:12:37 +0200 | wenzelm | locale interpretation command: after_qed; | changeset | files |