equal
deleted
inserted
replaced
64 "@leEx" :: [idt, 'a, bool] => bool ("(3? _<=_./ _)" [0, 0, 10] 10) |
64 "@leEx" :: [idt, 'a, bool] => bool ("(3? _<=_./ _)" [0, 0, 10] 10) |
65 translations |
65 translations |
66 "! x<y. P" => "! x. x < y --> P" |
66 "! x<y. P" => "! x. x < y --> P" |
67 "! x<=y. P" => "! x. x <= y --> P" |
67 "! x<=y. P" => "! x. x <= y --> P" |
68 "? x<y. P" => "? x. x < y & P" |
68 "? x<y. P" => "? x. x < y & P" |
69 "? x<=y. P" => "! x. x <= y & P" |
69 "? x<=y. P" => "? x. x <= y & P" |
70 |
70 |
71 end |
71 end |