X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Flibrary%2Ftechnicalities%2Fsetoids.ma;fp=matita%2Flibrary%2Ftechnicalities%2Fsetoids.ma;h=bf8375ae1b3b71a719ab8d624f942c729b0735d1;hb=5044ed858486dc12ad7cd1c2f2f22c62d9c8708d;hp=db2502ca9d4f11f7b8733651d3541ca850ef9df3;hpb=b950f8372e7e472790d507a41fae66921054d112;p=helm.git

diff --git a/matita/library/technicalities/setoids.ma b/matita/library/technicalities/setoids.ma
index db2502ca9..bf8375ae1 100644
--- a/matita/library/technicalities/setoids.ma
+++ b/matita/library/technicalities/setoids.ma
@@ -18,8 +18,8 @@
 
 
 include "datatypes/constructors.ma".
-include "logic/connectives2.ma".
 include "logic/coimplication.ma".
+include "logic/connectives2.ma".
 
 (* DEFINITIONS OF Relation_Class AND n-ARY Morphism_Theory *)