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