| Tue, 08 Nov 2005 15:26:35 +0100 | haftmann | allowing indentation of 'theory' keyword | changeset | files |
| Tue, 08 Nov 2005 10:44:40 +0100 | wenzelm | simplified after_qed; | changeset | files |
| Tue, 08 Nov 2005 10:43:15 +0100 | wenzelm | avoid prove_plain, export_plain, simplified after_qed; | changeset | files |