equal
deleted
inserted
replaced
107 "@Bex" :: [pttrn, 'a set, bool] => bool ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10) |
107 "@Bex" :: [pttrn, 'a set, bool] => bool ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10) |
108 |
108 |
109 syntax (symbols output) |
109 syntax (symbols output) |
110 "*Ball" :: [pttrn, 'a set, bool] => bool ("(3\\<forall> _\\<in>_./ _)" [0, 0, 10] 10) |
110 "*Ball" :: [pttrn, 'a set, bool] => bool ("(3\\<forall> _\\<in>_./ _)" [0, 0, 10] 10) |
111 "*Bex" :: [pttrn, 'a set, bool] => bool ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10) |
111 "*Bex" :: [pttrn, 'a set, bool] => bool ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10) |
|
112 |
|
113 translations |
|
114 "op \\<subseteq>" => "op <=" |
112 |
115 |
113 |
116 |
114 |
117 |
115 (** Rules and definitions **) |
118 (** Rules and definitions **) |
116 |
119 |