| 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 |
| Wed, 09 Aug 2006 00:12:35 +0200 | wenzelm | int_option: signed_string_of_int; | changeset | files |
| Wed, 09 Aug 2006 00:12:33 +0200 | wenzelm | global goals/qeds: after_qed operates on Proof.context (potentially local_theory); | changeset | files |