src/Pure/Thy/term_style.ML
changeset 26435 bdce320cd426
parent 24920 2a45e400fdad
child 26463 9283b4185fdf
--- a/src/Pure/Thy/term_style.ML	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Thy/term_style.ML	Thu Mar 27 15:32:15 2008 +0100
@@ -65,7 +65,7 @@
       " in propositon: " ^ Syntax.string_of_term ctxt t)
   end;
 
-val _ = Context.add_setup
+val _ = Context.>>
  (add_style "lhs" (fst oo style_binargs) #>
   add_style "rhs" (snd oo style_binargs) #>
   add_style "prem1" (style_parm_premise 1) #>