X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FRELATIONAL-ARITHMETICS%2Fnat_fwd.ma;h=99ec088f9ede59224af66ee0302a8f85d294fc2c;hb=1beb5e1624ac1db045e36dff93d0cfafa6a70995;hp=de3eb4487ff5b0845051781e5663c021b6074e5f;hpb=1a1f3c08b10e2cfbae42e73d7186caa9d90e0491;p=helm.git

diff --git a/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma b/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma
index de3eb4487..99ec088f9 100644
--- a/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma
+++ b/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/RELATIONAL-ARITHMETICS/nat_gen".
+set "baseuri" "cic:/matita/RELATIONAL-ARITHMETICS/nat_fwd".
 
 include "library/logic/equality.ma".
 include "nat_defs.ma".