judge-0.1.2.0: Tableau-based theorem prover.

Index - D

decideLogic.Judge.Prover.Tableau
deleteLogic.Judge.PointedList
deleteLeftLogic.Judge.PointedList
deleteOthersLogic.Judge.PointedList
deleteRightLogic.Judge.PointedList
DisjunctionLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
DynamicTermsLogic.Judge.Prover.Tableau