src/Pure/sign.ML
changeset 2095 e8544d73a7aa
parent 1890 a525e960f2bd
child 2138 056dead45ae8
     1.1 --- a/src/Pure/sign.ML	Tue Oct 15 10:46:42 1996 +0200
     1.2 +++ b/src/Pure/sign.ML	Tue Oct 15 10:55:57 1996 +0200
     1.3 @@ -579,7 +579,7 @@
     1.4    |> add_consts
     1.5     [("==", "['a::{}, 'a] => prop", Mixfix ("(_ ==/ _)", [3, 2], 2)),
     1.6      ("=?=", "['a::{}, 'a] => prop", Mixfix ("(_ =?=/ _)", [3, 2], 2)),
     1.7 -    ("==>", "[prop, prop] => prop", Mixfix ("(_ ==>/ _)", [2, 1], 1)),
     1.8 +    ("==>", "[prop, prop] => prop", Mixfix ("(_/ ==> _)", [2, 1], 1)),
     1.9      ("all", "('a => prop) => prop", Binder ("!!", 0, 0)),
    1.10      ("TYPE", "'a itself", NoSyn)]
    1.11    |> add_name "ProtoPure";