author | wenzelm |
Sat, 25 Sep 1999 13:08:08 +0200 | |
changeset 7600 | 73f91da46230 |
parent 7599 | 40b7f7f51208 |
child 7601 | c568799bf21b |
--- a/src/Pure/Isar/calculation.ML Sat Sep 25 13:07:48 1999 +0200 +++ b/src/Pure/Isar/calculation.ML Sat Sep 25 13:08:08 1999 +0200 @@ -142,7 +142,7 @@ (if final then state |> reset_calculation - |> Proof.simple_have_thms calculationN [] + |> Proof.reset_thms calculationN |> Proof.simple_have_thms "" calc |> Proof.chain else