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/Isar/element.ML
changeset 30763 6976521b4263
parent 30761 ac7570d80c3d
child 30775 71f777103225 
--- a/src/Pure/Isar/element.ML	Sat Mar 28 17:21:49 2009 +0100
+++ b/src/Pure/Isar/element.ML	Sat Mar 28 17:53:33 2009 +0100
@@ -486,7 +486,7 @@
 local
 
 fun activate_elem (Fixes fixes) ctxt =
-      ctxt |> ProofContext.add_fixes_i fixes |> snd
+      ctxt |> ProofContext.add_fixes fixes |> snd
   | activate_elem (Constrains _) ctxt =
       ctxt
   | activate_elem (Assumes asms) ctxt =
isabelle