X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Frelevant_equations.ma;h=a2ef6e40cdc6ffaba378c058d3a030a6fa9bea9d;hb=442f3a15d7c6afc480da02602d4d4c8db4f44c10;hp=6e641708021d79d36c81b67283f889949e1fe43c;hpb=af130d273b6be7fbcc2fb2504f3b28ef8fa2344f;p=helm.git

diff --git a/helm/software/matita/library/nat/relevant_equations.ma b/helm/software/matita/library/nat/relevant_equations.ma
index 6e6417080..a2ef6e40c 100644
--- a/helm/software/matita/library/nat/relevant_equations.ma
+++ b/helm/software/matita/library/nat/relevant_equations.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/relevant_equations".
-
 include "nat/times.ma".
 include "nat/minus.ma".
 include "nat/gcd.ma".