X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Fdiv_and_mod_diseq.ma;h=464998223bcdd3e8ac23790628504b8261f16152;hb=37f225a76270658463fb28f9d2619efcecabdcd2;hp=299897a38ce7222d93e9114a84ff51e8dc815d60;hpb=5e50ef5a9b00a18778c0eb728f7fc909c0b0f729;p=helm.git

diff --git a/helm/software/matita/library/nat/div_and_mod_diseq.ma b/helm/software/matita/library/nat/div_and_mod_diseq.ma
index 299897a38..464998223 100644
--- a/helm/software/matita/library/nat/div_and_mod_diseq.ma
+++ b/helm/software/matita/library/nat/div_and_mod_diseq.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/div_and_mod_diseq".
-
 include "nat/lt_arith.ma".
 
 (* the proof that