judge-0.1.2.0: Tableau-based theorem prover.

Index - F

FailureLogic.Judge.Prover.Tableau
findLogic.Judge.PointedList
focusLogic.Judge.PointedList
FormatLogic.Judge.Writer
Formula 
1 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
formulaLogic.Judge.Formula.Parser, Logic.Judge.Formula
FormulaJLLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
FormulaMLLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
fromListLogic.Judge.PointedList
fromListEndLogic.Judge.PointedList