judge-0.1.2.0: Tableau-based theorem prover.

Index - R

RefLogic.Judge.Prover.Tableau
referenceLogic.Judge.Prover.Tableau
renumberLogic.Judge.Prover.Tableau
replaceLogic.Judge.PointedList
ResultLogic.Judge.Prover.Tableau
reversedPrefixLogic.Judge.PointedList
rewriteLogic.Judge.Prover.Tableau
RootLogic.Judge.Prover.Tableau
rootLogic.Judge.Prover.Tableau
Rule 
1 (Type/Class)Logic.Judge.Prover.Tableau
2 (Data Constructor)Logic.Judge.Prover.Tableau
RuleInstantiatedLogic.Judge.Prover.Tableau
rulesLogic.Judge.Prover.Tableau
rulesALogic.Judge.Prover.Tableau
rulesCLogic.Judge.Prover.Tableau
RuleUninstantiatedLogic.Judge.Prover.Tableau