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

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

Index - F

F
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
Failing	Data.Logic.Failing
failing	Data.Logic.Failing
Failure	Data.Logic.Failing
false	Data.Logic.Classes.Constants
fApp	Data.Logic.Classes.Term
FirstOrderFormula	Data.Logic.Classes.FirstOrder
Fixity
1 (Data Constructor)	Data.Logic.Classes.Pretty
2 (Type/Class)	Data.Logic.Classes.Pretty
fixity	Data.Logic.Classes.Pretty
FixityDirection	Data.Logic.Classes.Pretty
fixityFirstOrder	Data.Logic.Classes.FirstOrder
fixityPropositional	Data.Logic.Classes.Propositional
flatten	Data.Logic.Instances.PropLogic
Fn	Data.Logic.Types.Harrison.FOL
FName	Data.Logic.Types.Harrison.FOL
FOL	Data.Logic.Types.Harrison.FOL
foldApply	Data.Logic.Classes.Apply
foldAtomEq	Data.Logic.Classes.Equals
foldAtoms	Data.Logic.Classes.Formula
foldAtomsFirstOrder	Data.Logic.Classes.FirstOrder
foldAtomsLiteral	Data.Logic.Classes.Literal
foldAtomsPropositional	Data.Logic.Classes.Propositional
foldFirstOrder	Data.Logic.Classes.FirstOrder
foldLiteral	Data.Logic.Classes.Literal
foldNegation	Data.Logic.Classes.Negate
foldPropositional	Data.Logic.Classes.Propositional
foldTerm	Data.Logic.Classes.Term
foldTerms	Data.Logic.Classes.Atom
FOLEQ	Data.Logic.Types.Harrison.Equal
ForAll	Data.Logic.Instances.Chiou
Forall
1 (Data Constructor)	Data.Logic.Classes.FirstOrder
2 (Data Constructor)	Data.Logic.Types.Harrison.Formulas.FirstOrder
Formula
1 (Type/Class)	Data.Logic.Classes.Formula
2 (Type/Class)	Data.Logic.Types.Propositional
3 (Type/Class)	Data.Logic.Types.Harrison.Formulas.Propositional
4 (Type/Class)	Data.Logic.Types.Harrison.Formulas.FirstOrder
5 (Type/Class)	Data.Logic.Types.FirstOrder
6 (Type/Class)	Data.Logic.Types.FirstOrderPublic
7 (Data Constructor)	Data.Logic.Types.FirstOrderPublic
for_all	Data.Logic.Classes.FirstOrder
for_all'	Data.Logic.Classes.FirstOrder
fpf	Data.Logic.Harrison.Lib
freeVariables	Data.Logic.Classes.Atom
fromAtomEq	Data.Logic.Classes.Equals
fromBool	Data.Logic.Classes.Constants
fromFirstOrder	Data.Logic.Classes.FirstOrder
fromLiteral	Data.Logic.Classes.FirstOrder
fromSentence	Data.Logic.Instances.Chiou
fullUnify	Data.Logic.Harrison.Unif
FunApp	Data.Logic.Types.FirstOrder
funcs	Data.Logic.Classes.Term
funcsAtomEq	Data.Logic.Classes.Equals
Function
1 (Type/Class)	Data.Logic.Classes.Term
2 (Data Constructor)	Data.Logic.Instances.Chiou
3 (Type/Class)	Data.Logic.Types.Harrison.FOL
functions	Data.Logic.Harrison.Skolem
functions'	Data.Logic.Harrison.Equal
function_congruence	Data.Logic.Harrison.Equal
fv	Data.Logic.Harrison.FOL
fvt	Data.Logic.Classes.Term