src/Pure/Isar/locale.ML
changeset 14643 130076a81b84
parent 14564 3667b4616e9a
child 14695 9c78044b99c3
--- a/src/Pure/Isar/locale.ML	Thu Apr 22 10:49:30 2004 +0200
+++ b/src/Pure/Isar/locale.ML	Thu Apr 22 10:52:32 2004 +0200
@@ -635,7 +635,8 @@
   |> Drule.implies_intr_list (Library.drop (length axs, hyps))
   |> Seq.single;
 
-fun activate_elem _ ((ctxt, axs), Fixes fixes) = ((ctxt |> ProofContext.add_fixes fixes, axs), [])
+fun activate_elem _ ((ctxt, axs), Fixes fixes) =
+      ((ctxt |> ProofContext.add_fixes fixes, axs), [])
   | activate_elem _ ((ctxt, axs), Assumes asms) =
       let
         val ts = flat (map (map #1 o #2) asms);