Rule can refer to several things in the context of Isabelle/HOL:

• The general concept of rules in logics
• The proof method rule