===== Rule =====
Rule can refer to several things in the context of Isabelle/HOL:
  * The general concept of [[rule (calculus)|rules]] in logics
  * The proof method ''[[rule (method)|rule]]''