judge-0.1.2.0: Tableau-based theorem prover.

Index - A

activesLogic.Judge.Prover.Tableau
ambiguityLogic.Judge.Formula.Parser, Logic.Judge.Formula
Ambiguous 
1 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
analysisLogic.Judge.Prover.Tableau.Analytics
Application 
1 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Prover.Tableau
asListLogic.Judge.PointedList
AssumptionLogic.Judge.Prover.Tableau
assumptionsLogic.Judge.Prover.Tableau
assumptions'Logic.Judge.Prover.Tableau
asTermLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
atEndLogic.Judge.PointedList
atStartLogic.Judge.PointedList