X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama%2Fgroup.ma;h=0e2668c2d71c58923390538a8753fff9868158df;hb=87ed0c3e2ccd74f21f81c2cc9ed2945109bf0a9a;hp=b298e82e0e1ced19a23290e3af38f4a9dad2ffbd;hpb=11f667afbb87725dd5e243d4b3717d19f584a481;p=helm.git

diff --git a/helm/software/matita/dama/group.ma b/helm/software/matita/dama/group.ma
index b298e82e0..0e2668c2d 100644
--- a/helm/software/matita/dama/group.ma
+++ b/helm/software/matita/dama/group.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/group/".
 
-include "excedence.ma".
+include "excess.ma".
 
 definition left_neutral ≝ λC:apartness.λop.λe:C. ∀x:C. op e x ≈ x.
 definition right_neutral ≝ λC:apartness.λop. λe:C. ∀x:C. op x e ≈ x.