--- 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);