# HG changeset patch
# User kleing
# Date 1070693401 -3600
# Node ID b23f028c16516f8cbf11e29568bfc99b62d0865b
# Parent  a8c4a1e6307123392d8a18b5503144533d69c2b4
do not reset facts ('this') for moreover and also

diff -r a8c4a1e63071 -r b23f028c1651 src/Pure/Isar/calculation.ML
--- 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