fmrisc.Proving
Interfaces 
Answer
ProofStateListener
Prover
Classes 
AnswerBase
Formula
GroundExpressions
Instantiating
InvalidAnswer
Proof
ProofState
ProofUtil
ProverReasoning
Rewriting
Substitute
UnknownAnswer
ValidAnswer