changeset 14282 | b23f028c1651 |
parent 13371 | 82a057cf4413 |
child 14549 | ea6e18e5c7a9 |
--- a/src/Pure/Isar/calculation.ML Sat Dec 06 04:33:18 2003 +0100 +++ b/src/Pure/Isar/calculation.ML Sat Dec 06 07:50:01 2003 +0100 @@ -142,7 +142,6 @@ state |> put_calculation calc |> Proof.simple_have_thms calculationN calc - |> Proof.reset_facts | maintain_calculation true calc state = state |> reset_calculation