X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Fneper.ma;h=f200e62d6d8ff12c137df4f2cde17abdef8dc84c;hb=1ba7566bacd8d29e772646b3c86c7d5c944e9a6e;hp=bad55bc49c680d13dc32ed93db1fe515fb505e64;hpb=52cfc3c337a48d52e9d2a8e4e761fa933f161103;p=helm.git

diff --git a/helm/software/matita/library/nat/neper.ma b/helm/software/matita/library/nat/neper.ma
index bad55bc49..f200e62d6 100644
--- a/helm/software/matita/library/nat/neper.ma
+++ b/helm/software/matita/library/nat/neper.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/neper".
-
 include "nat/iteration2.ma".
 include "nat/div_and_mod_diseq.ma".
 include "nat/binomial.ma".