aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Classes
ModeNameSize
-rw-r--r--CEquivalence.v4717logplain
-rw-r--r--CMorphisms.v21978logplain
-rw-r--r--CRelationClasses.v12590logplain
-rw-r--r--DecidableClass.v2708logplain
-rw-r--r--EquivDec.v4470logplain
-rw-r--r--Equivalence.v4727logplain
-rw-r--r--Init.v1449logplain
-rw-r--r--Morphisms.v21683logplain
-rw-r--r--Morphisms_Prop.v3206logplain
-rw-r--r--Morphisms_Relations.v2380logplain
-rw-r--r--RelationClasses.v16666logplain
-rw-r--r--RelationPairs.v5078logplain
-rw-r--r--SetoidClass.v4506logplain
-rw-r--r--SetoidDec.v3777logplain
-rw-r--r--SetoidTactics.v6133logplain
-rw-r--r--vo.itarget238logplain