Prover9 Manual		Version 2009-02A

Advanced Features

• Actions
• Hints
• Semantics
• Clause Properties
• Keep and Delete Rules
• Given Selection