Eta-expanded merge function (to make SmlNJ happy).

--- a/src/Pure/Isar/term_style.ML	Sat May 14 21:31:13 2005 +0200
+++ b/src/Pure/Isar/term_style.ML	Sun May 15 21:04:10 2005 +0200
@@ -22,7 +22,7 @@
   val empty = Symtab.empty;
   val copy = I;
   val prep_ext = I;
-  val merge = Symtab.merge (K true);
+  fun merge x = Symtab.merge (K true) x;
   fun print _ table =
     Pretty.strs ("defined styles:" :: (Symtab.keys table))
     |> Pretty.writeln;