X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Fftc%2FFunctSeries.ma;h=893c4f1fd4920b4fb5792a143e81c4b7578bf79b;hb=842e243be954d67360788d08701289f3237c2699;hp=917cbe2bcbde4bfa3b5c5f172a2fe589491da743;hpb=55444711ececb62f0a93f2a064f64c3b27f744e2;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma b/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma
index 917cbe2bc..893c4f1fd 100644
--- a/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma
@@ -14,8 +14,6 @@
 
 (* This file was automatically generated: do not edit *********************)
 
-set "baseuri" "cic:/matita/CoRN-Decl/ftc/FunctSeries".
-
 include "CoRN.ma".
 
 (* $Id: FunctSeries.v,v 1.6 2004/04/23 10:00:58 lcf Exp $ *)