judge-0.1.2.0: Tableau-based theorem prover.

Index - M

Marked 
1 (Type/Class)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
2 (Data Constructor)Logic.Judge.Formula.Datastructure, Logic.Judge.Formula
markedLogic.Judge.Formula.Parser, Logic.Judge.Formula
MarkedFormulaLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
marksLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
MergeLogic.Judge.Prover.Tableau
mergeLogic.Judge.Formula.Substitution
ModalityLogic.Judge.Formula.Datastructure, Logic.Judge.Formula
modalityLogic.Judge.Formula.Parser, Logic.Judge.Formula
modifyLogic.Judge.PointedList
moveNLogic.Judge.PointedList
moveToLogic.Judge.PointedList