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 |