Uniset.vo: Uniset.v ../BOOL/Bool.vo Permut.vo
Relations_3_facts.vo: Relations_3_facts.v Relations_1.vo Relations_1_facts.vo Relations_2.vo Relations_2_facts.vo Relations_3.vo
Relations_3.vo: Relations_3.v Relations_1.vo Relations_2.vo
Relations_2_facts.vo: Relations_2_facts.v Relations_1.vo Relations_1_facts.vo Relations_2.vo
Relations_2.vo: Relations_2.v Relations_1.vo
Relations_1_facts.vo: Relations_1_facts.v Relations_1.vo
Relations_1.vo: Relations_1.v
Powerset_facts.vo: Powerset_facts.v Ensembles.vo Constructive_sets.vo Relations_1.vo Relations_1_facts.vo Partial_Order.vo Cpo.vo Powerset.vo
Powerset_Classical_facts.vo: Powerset_Classical_facts.v Ensembles.vo Constructive_sets.vo Relations_1.vo Relations_1_facts.vo Partial_Order.vo Cpo.vo Powerset.vo Powerset_facts.vo ../LOGIC/Classical_Type.vo Classical_sets.vo
Powerset.vo: Powerset.v Ensembles.vo Relations_1.vo Relations_1_facts.vo Partial_Order.vo Cpo.vo
Permut.vo: Permut.v
Partial_Order.vo: Partial_Order.v Ensembles.vo Relations_1.vo
Multiset.vo: Multiset.v Permut.vo ../ARITH/Plus.vo
Integers.vo: Integers.v Finite_sets.vo Constructive_sets.vo ../LOGIC/Classical_Type.vo Classical_sets.vo Powerset.vo Powerset_facts.vo Powerset_Classical_facts.vo ../ARITH/Gt.vo ../ARITH/Lt.vo ../ARITH/Le.vo Finite_sets_facts.vo Image.vo Infinite_sets.vo ../ARITH/Compare_dec.vo Relations_1.vo Partial_Order.vo Cpo.vo
Infinite_sets.vo: Infinite_sets.v Finite_sets.vo Constructive_sets.vo ../LOGIC/Classical_Type.vo Classical_sets.vo Powerset.vo Powerset_facts.vo Powerset_Classical_facts.vo ../ARITH/Gt.vo ../ARITH/Lt.vo ../ARITH/Le.vo Finite_sets_facts.vo Image.vo
Image.vo: Image.v Finite_sets.vo Constructive_sets.vo ../LOGIC/Classical_Type.vo Classical_sets.vo Powerset.vo Powerset_facts.vo Powerset_Classical_facts.vo ../ARITH/Gt.vo ../ARITH/Lt.vo ../ARITH/Le.vo Finite_sets_facts.vo
Finite_sets_facts.vo: Finite_sets_facts.v Finite_sets.vo Constructive_sets.vo ../LOGIC/Classical_Type.vo Classical_sets.vo Powerset.vo Powerset_facts.vo Powerset_Classical_facts.vo ../ARITH/Gt.vo ../ARITH/Lt.vo
Finite_sets.vo: Finite_sets.v Ensembles.vo Constructive_sets.vo
Ensembles.vo: Ensembles.v
Cpo.vo: Cpo.v Ensembles.vo Relations_1.vo Partial_Order.vo
Constructive_sets.vo: Constructive_sets.v Ensembles.vo
Classical_sets.vo: Classical_sets.v Ensembles.vo Constructive_sets.vo ../LOGIC/Classical_Type.vo
Uniset.html: Uniset.v ../BOOL/Bool.html Permut.html
Relations_3_facts.html: Relations_3_facts.v Relations_1.html Relations_1_facts.html Relations_2.html Relations_2_facts.html Relations_3.html
Relations_3.html: Relations_3.v Relations_1.html Relations_2.html
Relations_2_facts.html: Relations_2_facts.v Relations_1.html Relations_1_facts.html Relations_2.html
Relations_2.html: Relations_2.v Relations_1.html
Relations_1_facts.html: Relations_1_facts.v Relations_1.html
Relations_1.html: Relations_1.v
Powerset_facts.html: Powerset_facts.v Ensembles.html Constructive_sets.html Relations_1.html Relations_1_facts.html Partial_Order.html Cpo.html Powerset.html
Powerset_Classical_facts.html: Powerset_Classical_facts.v Ensembles.html Constructive_sets.html Relations_1.html Relations_1_facts.html Partial_Order.html Cpo.html Powerset.html Powerset_facts.html ../LOGIC/Classical_Type.html Classical_sets.html
Powerset.html: Powerset.v Ensembles.html Relations_1.html Relations_1_facts.html Partial_Order.html Cpo.html
Permut.html: Permut.v
Partial_Order.html: Partial_Order.v Ensembles.html Relations_1.html
Multiset.html: Multiset.v Permut.html ../ARITH/Plus.html
Integers.html: Integers.v Finite_sets.html Constructive_sets.html ../LOGIC/Classical_Type.html Classical_sets.html Powerset.html Powerset_facts.html Powerset_Classical_facts.html ../ARITH/Gt.html ../ARITH/Lt.html ../ARITH/Le.html Finite_sets_facts.html Image.html Infinite_sets.html ../ARITH/Compare_dec.html Relations_1.html Partial_Order.html Cpo.html
Infinite_sets.html: Infinite_sets.v Finite_sets.html Constructive_sets.html ../LOGIC/Classical_Type.html Classical_sets.html Powerset.html Powerset_facts.html Powerset_Classical_facts.html ../ARITH/Gt.html ../ARITH/Lt.html ../ARITH/Le.html Finite_sets_facts.html Image.html
Image.html: Image.v Finite_sets.html Constructive_sets.html ../LOGIC/Classical_Type.html Classical_sets.html Powerset.html Powerset_facts.html Powerset_Classical_facts.html ../ARITH/Gt.html ../ARITH/Lt.html ../ARITH/Le.html Finite_sets_facts.html
Finite_sets_facts.html: Finite_sets_facts.v Finite_sets.html Constructive_sets.html ../LOGIC/Classical_Type.html Classical_sets.html Powerset.html Powerset_facts.html Powerset_Classical_facts.html ../ARITH/Gt.html ../ARITH/Lt.html
Finite_sets.html: Finite_sets.v Ensembles.html Constructive_sets.html
Ensembles.html: Ensembles.v
Cpo.html: Cpo.v Ensembles.html Relations_1.html Partial_Order.html
Constructive_sets.html: Constructive_sets.v Ensembles.html
Classical_sets.html: Classical_sets.v Ensembles.html Constructive_sets.html ../LOGIC/Classical_Type.html
