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

Index - R

RatData.TPTP
RationalConstantData.TPTP
RealData.TPTP
RealConstantData.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