X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fdama%2Fordered_groups.ma;h=10e8f189ab0d4aeea549902fa4c2671372188f48;hb=5a8b5510d0b2d6dd1086658f97ce4f2186eced22;hp=a9912d43f55ccb92bd22ecec4c9e3320e68146ef;hpb=06a089726af079d5b2fe42ba78632565dad0eb3e;p=helm.git

diff --git a/matita/dama/ordered_groups.ma b/matita/dama/ordered_groups.ma
index a9912d43f..10e8f189a 100644
--- a/matita/dama/ordered_groups.ma
+++ b/matita/dama/ordered_groups.ma
@@ -15,7 +15,7 @@
 set "baseuri" "cic:/matita/ordered_groups/".
 
 include "groups.ma".
-include "ordered_sets2.ma".
+include "ordered_sets.ma".
 
 record pre_ordered_abelian_group : Type ≝
  { og_abelian_group:> abelian_group;