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

Index - R

RatData.TPTP
RationalConstantData.TPTP
RealData.TPTP
RealConstantData.TPTP
RefData.TPTP
RefutationData.TPTP
RemainderEData.TPTP
RemainderFData.TPTP
RemainderTData.TPTP
Reserved 
1 (Data Constructor)Data.TPTP
2 (Type/Class)Data.TPTP
ReversedImplicationData.TPTP
RoleData.TPTP
RoundData.TPTP
RSOData.TPTP