Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ex/veriT_Preprocessing.thy
changeset 69220 c6b15fc78f78
parent 69217 a8c707352ccc
child 69597 ff784d5a5bfb 
--- a/src/HOL/ex/veriT_Preprocessing.thy	Thu Nov 01 12:23:54 2018 +0100
+++ b/src/HOL/ex/veriT_Preprocessing.thy	Thu Nov 01 14:36:19 2018 +0100
@@ -475,7 +475,7 @@
      [N (Let [@{term "vr1 :: nat"}], [N (Refl, []), N (Refl, [])]),
       N (Let [@{term "vr2 :: nat"}], [N (Refl, []), N (Refl, [])])]));
 
-reconstruct_proof @{context} proof18
+reconstruct_proof @{context} proof25
 \<close>
 
 end
isabelle