tptp-0.1.1.0: A parser and a pretty printer for the TPTP language

Index - S

SAPData.TPTP
SATData.TPTP
SatData.TPTP
SCAData.TPTP
SCCData.TPTP
SEEData.TPTP
SignData.TPTP
SInData.TPTP
skipWhitespaceData.TPTP.Parse.Combinators
SlnData.TPTP
SMoData.TPTP
Sort 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
sortData.TPTP.Parse.Combinators
Sorted 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
SortedFirstOrderData.TPTP
sortedFirstOrderData.TPTP.Parse.Combinators
SortVariableData.TPTP
SourceData.TPTP
sourceData.TPTP.Parse.Combinators
StandardData.TPTP
Status 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
STPData.TPTP
SUCData.TPTP
SuccessData.TPTP
SumData.TPTP
SYEData.TPTP
SZS 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP
szsData.TPTP.Parse.Combinators
SZSOntology 
1 (Type/Class)Data.TPTP
2 (Data Constructor)Data.TPTP