judge-0.1.2.0: Tableau-based theorem prover.

Index - I

identifierLogic.Judge.Formula.Parser, Logic.Judge.Formula
ImplicationLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
inactivesLogic.Judge.Prover.Tableau
indexLogic.Judge.PointedList
initialLogic.Judge.Prover.Tableau
insertLogic.Judge.PointedList
insertAllLogic.Judge.PointedList
insertLeftLogic.Judge.PointedList
insertRightLogic.Judge.PointedList
IntersectionLogic.Judge.Prover.Tableau
intersectionLogic.Judge.Prover.Tableau
isAtomaryLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isConstantLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isExtensionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isMarkedFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
isVariableLogic.Judge.Formula.Datastructure, Logic.Judge.Formula