-
Andrei Paskevich authored
- No more "and", "or", "implies", "iff", and "~". Use "/\", "\/", "->", "<->", and "not" instead. - No more "logic". Use "function" or "predicate".
aa2c430e
- No more "and", "or", "implies", "iff", and "~". Use "/\", "\/", "->", "<->", and "not" instead. - No more "logic". Use "function" or "predicate".