equal
deleted
inserted
replaced
40 syntax (xsymbols) |
40 syntax (xsymbols) |
41 "satisfies" ::"'a => 'a predicate => bool" ("_ \\<Turnstile> _" [100,9] 8) |
41 "satisfies" ::"'a => 'a predicate => bool" ("_ \\<Turnstile> _" [100,9] 8) |
42 |
42 |
43 syntax (HTML output) |
43 syntax (HTML output) |
44 "NOT" ::"'a predicate => 'a predicate" ("\\<not> _" [40] 40) |
44 "NOT" ::"'a predicate => 'a predicate" ("\\<not> _" [40] 40) |
|
45 "AND" ::"'a predicate => 'a predicate => 'a predicate" (infixr "\\<and>" 35) |
|
46 "OR" ::"'a predicate => 'a predicate => 'a predicate" (infixr "\\<or>" 30) |
45 |
47 |
46 |
48 |
47 defs |
49 defs |
48 |
50 |
49 satisfies_def |
51 satisfies_def |