diff -r 557a11310988 -r afbda7e26f15 src/HOL/Set.thy --- a/src/HOL/Set.thy Wed Apr 16 18:25:46 1997 +0200 +++ b/src/HOL/Set.thy Wed Apr 16 18:46:01 1997 +0200 @@ -113,8 +113,8 @@ "*Bex" :: [pttrn, 'a set, bool] => bool ("(3\\ _\\_./ _)" [0, 0, 10] 10) translations - "op \\" => "op <=" - "op \\" => "op <" + "op \\" => "op <= :: [_ set, _ set] => bool" + "op \\" => "op < :: [_ set, _ set] => bool"