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/Pure/Tools/find_theorems.ML
changeset 52788 da1fdbfebd39
parent 52704 b824497c8e86
child 52851 e71b5160f242 
--- a/src/Pure/Tools/find_theorems.ML	Tue Jul 30 12:07:14 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Tue Jul 30 15:09:25 2013 +0200
@@ -315,8 +315,7 @@
   let
     val thy' =
       Proof_Context.theory_of ctxt
-      |> Context_Position.set_visible_global (Context_Position.is_visible ctxt)
-      |> Theory.checkpoint;
+      |> Context_Position.set_visible_global (Context_Position.is_visible ctxt);
     val ctxt' = Proof_Context.transfer thy' ctxt;
     val goal' = Thm.transfer thy' goal;
isabelle