logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving (Index - T)

logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving

Index - T

T
1 (Data Constructor)	Data.Logic.Types.Propositional
2 (Data Constructor)	Data.Logic.Types.Harrison.Formulas.Propositional
3 (Data Constructor)	Data.Logic.Types.Harrison.Formulas.FirstOrder
tautology	Data.Logic.Harrison.Prop
tellKB	Data.Logic.KnowledgeBase
Term	Data.Logic.Classes.Term
TermType	Data.Logic.Types.Harrison.FOL
Test	Data.Logic.Tests.HUnit
Test0	Data.Logic.Tests.HUnit
TestCase	Data.Logic.Tests.HUnit
TestFormula	Data.Logic.Tests.HUnit
TestFormulaEq	Data.Logic.Tests.HUnit
TestLabel	Data.Logic.Tests.HUnit
TestList	Data.Logic.Tests.HUnit
tests
1 (Function)	Data.Logic.Harrison.Lib
2 (Function)	Data.Logic.Harrison.PropExamples
3 (Function)	Data.Logic.Harrison.DP
theorem	Data.Logic.Satisfiable
theoremKB	Data.Logic.KnowledgeBase
toCNF	Data.Logic.Instances.SatSolver
toLiteral	Data.Logic.Instances.SatSolver
topFixity	Data.Logic.Classes.Pretty
toPropositional
1 (Function)	Data.Logic.Classes.FirstOrder
2 (Function)	Data.Logic.Classes.Literal
toSentence	Data.Logic.Instances.Chiou
toSkolem	Data.Logic.Classes.Skolem
trivial
1 (Function)	Data.Logic.Harrison.Prop
2 (Function)	Data.Logic.Harrison.Normal
true	Data.Logic.Classes.Constants
TruthTable	Data.Logic.Harrison.Prop
truthTable	Data.Logic.Harrison.Prop
TruthTableRow	Data.Logic.Harrison.Prop
tryApplyD	Data.Logic.Harrison.Lib
tryfind	Data.Logic.Harrison.Lib
tsubst	Data.Logic.Classes.Term