ContentsIndex
ACEFHILMOPQRSTV
Index (R)
RModule
Ralog
RelPred
Relation
Relational
Rewritable
ramc
relIsFinal
relRewrite
renameBoundVars
replaceTermWithFresh
reverseSM
rewrite
rewriteN
rewriteStep
rewriteStepHack