23 |
23 |
24 "op &" :: [bool, bool] => bool (infixr "&" 35) |
24 "op &" :: [bool, bool] => bool (infixr "&" 35) |
25 "op |" :: [bool, bool] => bool (infixr "|" 30) |
25 "op |" :: [bool, bool] => bool (infixr "|" 30) |
26 "op -->" :: [bool, bool] => bool (infixr "->" 25) |
26 "op -->" :: [bool, bool] => bool (infixr "->" 25) |
27 "op =" :: ['a, 'a] => bool ("(_ =/ _)" [51, 51] 50) |
27 "op =" :: ['a, 'a] => bool ("(_ =/ _)" [51, 51] 50) |
28 "op ~=" :: ['a, 'a] => bool ("(_ !=/ _)" [51, 51] 50) |
28 "_not_equal" :: ['a, 'a] => bool ("(_ !=/ _)" [51, 51] 50) |
29 |
29 |
30 "! " :: [idts, bool] => bool ("'((3forall _./ _)')" [0, 10] 10) |
30 "! " :: [idts, bool] => bool ("'((3forall _./ _)')" [0, 10] 10) |
31 "? " :: [idts, bool] => bool ("'((3exists _./ _)')" [0, 10] 10) |
31 "? " :: [idts, bool] => bool ("'((3exists _./ _)')" [0, 10] 10) |
32 "ALL " :: [idts, bool] => bool ("'((3forall _./ _)')" [0, 10] 10) |
32 "ALL " :: [idts, bool] => bool ("'((3forall _./ _)')" [0, 10] 10) |
33 "EX " :: [idts, bool] => bool ("'((3exists _./ _)')" [0, 10] 10) |
33 "EX " :: [idts, bool] => bool ("'((3exists _./ _)')" [0, 10] 10) |