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/Tools/BNF/bnf_def.ML
changeset 60948 b710a5087116
parent 60927 6584c0f3f0e0
child 61101 7b915ca69af1 
--- a/src/HOL/Tools/BNF/bnf_def.ML	Sun Aug 16 17:11:31 2015 +0200
+++ b/src/HOL/Tools/BNF/bnf_def.ML	Sun Aug 16 18:19:30 2015 +0200
@@ -809,7 +809,7 @@
       end;
 
     fun maybe_restore lthy_old lthy =
-      lthy |> not (Theory.eq_thy (apply2 Proof_Context.theory_of (lthy_old, lthy)))
+      lthy |> not (Context.eq_thy (apply2 Proof_Context.theory_of (lthy_old, lthy)))
         ? Local_Theory.restore;
 
     val map_bind_def =
isabelle