Next: , Previous: Keyboard Shortcuts, Up: Top


6 Rules Index

The rules are divided into five categories: Inference, Equivalence, Predicate, Boolean, and Miscellaneous.