src/Pure/sign.ML
changeset 2252 d54af138f7b2
parent 2228 f381c1a98209
child 2359 97b88cafe1e8
     1.1 --- a/src/Pure/sign.ML	Wed Nov 27 13:51:49 1996 +0100
     1.2 +++ b/src/Pure/sign.ML	Wed Nov 27 16:36:36 1996 +0100
     1.3 @@ -611,7 +611,7 @@
     1.4      ("prop", [], logicS),
     1.5      ("itself", [logicS], logicS)]
     1.6    |> add_syntax Syntax.pure_syntax
     1.7 -  |> add_modesyntax ("symbolfont", Syntax.pure_symfont_syntax)
     1.8 +  |> add_modesyntax ("symbols", Syntax.pure_sym_syntax)
     1.9    |> add_trfuns Syntax.pure_trfuns
    1.10    |> add_consts
    1.11     [("==", "['a::{}, 'a] => prop", InfixrName ("==", 2)),