Prover9 Manual		Version 2008-04A

Advanced Features

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