judge-0.1.2.0: Tableau-based theorem prover.

Index - L

LaTeX 
1 (Type/Class)Logic.Judge.Writer.LaTeX
2 (Data Constructor)Logic.Judge.Writer
latexLogic.Judge.Writer.LaTeX
latexFooterLogic.Judge.Writer.LaTeX
latexHeaderLogic.Judge.Writer.LaTeX
lengthLogic.Judge.PointedList