theories/Classes/vo.itarget


1
2
3
4
5
6
7
8
9
10
11
12
13

Equivalence.vo
EquivDec.vo
Functions.vo
Init.vo
Morphisms_Prop.vo
Morphisms_Relations.vo
Morphisms.vo
RelationClasses.vo
SetoidAxioms.vo
SetoidClass.vo
SetoidDec.vo
SetoidTactics.vo
RelationPairs.vo