Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
do not reset facts ('this') for moreover and also
authorkleing
Sat, 06 Dec 2003 07:50:01 +0100
changeset 14282 b23f028c1651
parent 14281 a8c4a1e63071
child 14283 516358ca7b42
do not reset facts ('this') for moreover and also
src/Pure/Isar/calculation.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle