aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Classes
ModeNameSize
-rw-r--r--DecidableClass.v2839logplain
-rw-r--r--EquivDec.v4469logplain
-rw-r--r--Equivalence.v4644logplain
-rw-r--r--Init.v1449logplain
-rw-r--r--Morphisms.v20847logplain
-rw-r--r--Morphisms_Prop.v3772logplain
-rw-r--r--Morphisms_Relations.v2412logplain
-rw-r--r--RelationClasses.v15523logplain
-rw-r--r--RelationPairs.v4959logplain
-rw-r--r--SetoidClass.v4506logplain
-rw-r--r--SetoidDec.v3784logplain
-rw-r--r--SetoidTactics.v6056logplain
-rw-r--r--vo.itarget188logplain