aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Classes
ModeNameSize
-rw-r--r--CEquivalence.v4717logplain
-rw-r--r--CMorphisms.v22120logplain
-rw-r--r--CRelationClasses.v12590logplain
-rw-r--r--DecidableClass.v2708logplain
-rw-r--r--EquivDec.v4470logplain
-rw-r--r--Equivalence.v4715logplain
-rw-r--r--Init.v1449logplain
-rw-r--r--Morphisms.v21577logplain
-rw-r--r--Morphisms_Prop.v3206logplain
-rw-r--r--Morphisms_Relations.v2380logplain
-rw-r--r--RelationClasses.v16343logplain
-rw-r--r--RelationPairs.v4960logplain
-rw-r--r--SetoidClass.v4506logplain
-rw-r--r--SetoidDec.v3777logplain
-rw-r--r--SetoidTactics.v6117logplain
-rw-r--r--vo.itarget238logplain