R (section)
RawSets.Spec [in Coq.MSets.MSetInterface]
Raw.Elt [in Coq.FSets.FMapList]
Raw.Elt [in Coq.FSets.FMapWeakList]
Raw.Elt [in Coq.FSets.FMapAVL]
Raw.Elt2 [in Coq.FSets.FMapList]
Raw.Elt2 [in Coq.FSets.FMapWeakList]
Raw.Elt3 [in Coq.FSets.FMapList]
Raw.Elt3 [in Coq.FSets.FMapWeakList]
Raw.Invariants [in Coq.FSets.FMapAVL]
Raw.Map2 [in Coq.FSets.FMapAVL]
Raw.Map2_opt [in Coq.FSets.FMapAVL]
Raw2SetsOn.Spec [in Coq.MSets.MSetInterface]
Reduce [in Coq.Numbers.Natural.BigN.Nbasic]
ReduceRec [in Coq.Numbers.Natural.BigN.Nbasic]
ReDun [in Coq.Lists.List]
Reflexive_Symmetric_Transitive_Closure [in Coq.Relations.Relation_Operators]
Reflexive_Transitive_Closure [in Coq.Relations.Relation_Operators]
Relations_3 [in Coq.Sets.Relations_3]
Relations_1 [in Coq.Sets.Relations_1]
Relations_2 [in Coq.Sets.Relations_2]
Relation_Definition.Relations_of_Relations [in Coq.Relations.Relation_Definitions]
Relation_Definition.Sets_of_Relations [in Coq.Relations.Relation_Definitions]
Relation_Definition.General_Properties_of_Relations [in Coq.Relations.Relation_Definitions]
Relation_Definition [in Coq.Relations.Relation_Definitions]
RelCompFun_Instances [in Coq.Classes.RelationPairs]
Respecting [in Coq.Classes.Equivalence]