X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Fminus.ma;h=a0133e93db58f65df22e64ca4e94944a26fda79e;hb=3c4660604bb23d862c72f64e6b5b5974260eea28;hp=339e2262c72de402a1d29187e8a41907658038b7;hpb=9edc9828ff3c3d074ccc5547a53eadf092c186d8;p=helm.git

diff --git a/helm/software/matita/library/nat/minus.ma b/helm/software/matita/library/nat/minus.ma
index 339e2262c..a0133e93d 100644
--- a/helm/software/matita/library/nat/minus.ma
+++ b/helm/software/matita/library/nat/minus.ma
@@ -13,8 +13,6 @@
 (**************************************************************************)
 
 
-set "baseuri" "cic:/matita/nat/minus".
-
 include "nat/le_arith.ma".
 include "nat/compare.ma".