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 |
Tue, 08 Nov 2005 10:43:13 +0100 | wenzelm | removed export_plain; | changeset | files |
Tue, 08 Nov 2005 10:43:12 +0100 | wenzelm | renamed assert_prop to ensure_prop; | changeset | files |
Tue, 08 Nov 2005 10:43:11 +0100 | wenzelm | renamed goals.ML to old_goals.ML; | changeset | files |