src/Pure/pure_thy.ML
changeset 50636 07f47142378e
parent 50603 3e3c2af5e8a5
child 51612 6a1e40f9dd55
     1.1 --- a/src/Pure/pure_thy.ML	Sat Dec 29 23:15:51 2012 +0100
     1.2 +++ b/src/Pure/pure_thy.ML	Sun Dec 30 16:23:30 2012 +0100
     1.3 @@ -166,7 +166,7 @@
     1.4      ("_idtyp",            typ "id_position => type => idt", Mixfix ("_\\<Colon>_", [], 0)),
     1.5      ("_idtypdummy",       typ "type => idt",            Mixfix ("'_()\\<Colon>_", [], 0)),
     1.6      ("_lambda",           typ "pttrns => 'a => logic",  Mixfix ("(3\\<lambda>_./ _)", [0, 3], 3)),
     1.7 -    (const "==",          typ "'a => 'a => prop",       Infixr ("\\<equiv>", 2)),
     1.8 +    (const "==",          typ "'a => 'a => prop",       Infix ("\\<equiv>", 2)),
     1.9      (const "all_binder",  typ "idts => prop => prop",   Mixfix ("(3\\<And>_./ _)", [0, 0], 0)),
    1.10      (const "==>",         typ "prop => prop => prop",   Infixr ("\\<Longrightarrow>", 1)),
    1.11      ("_DDDOT",            typ "aprop",                  Delimfix "\\<dots>"),