twee-0.1: An equational theorem prover

Index - R

RatedTwee.Indexes
ratingTwee.Indexes
rationalTwee.Pretty, Twee.Base
rbraceTwee.Pretty, Twee.Base
rbrackTwee.Pretty, Twee.Base
ReduceTwee
reduceCPTwee
reduceDocTwee.Pretty, Twee.Base
reducesTwee.Rule
reducesInModelTwee.Rule
reducesSkolemTwee.Rule
reducesSubTwee.Rule
reducesWithTwee.Rule
reduceWithTwee
ReducingTwee
ReductionTwee.Rule
reenqueueTwee.Queue
reenqueueMTwee
reinsertTwee.Queue
removeTwee.Queue
renderTwee.Pretty, Twee.Base
renderStyleTwee.Pretty, Twee.Base
renormaliseAtTwee
renormaliseGoalsTwee
ReorientTwee
repeatMTwee.Utils
replaceTwee.Base
reportTwee
resultTwee.Rule
retractTwee.Term, Twee.Base
rewriteTwee.Rule
rhsTwee.Rule
rhsWeightTwee
ribbonsPerLineTwee.Pretty, Twee.Base
rightTwee.Queue
Right1Twee.Queue
rootTwee.Term.Core
rparenTwee.Pretty, Twee.Base
Rule 
1 (Type/Class)Twee.Rule
2 (Data Constructor)Twee.Rule
ruleTwee.Rule
ruleOverlapsTwee
rulesTwee
rulesForTwee