tptp-0.1.3.0: Parser and pretty printer for the TPTP language

Index - F

FalsumData.TPTP
FiDomainData.TPTP
FiFunctorsData.TPTP
FileData.TPTP
FInData.TPTP
FiPredicatesData.TPTP
FirstOrderData.TPTP
FloorData.TPTP
FMoData.TPTP
FOFData.TPTP
FOF_Data.TPTP
FORData.TPTP
ForallData.TPTP
Formula 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
formulaLanguageData.TPTP
FPIData.TPTP
FPMData.TPTP
FSAData.TPTP
FSIData.TPTP
FSMData.TPTP
FUNData.TPTP
Function 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
functionData.TPTP.Parse.Combinators