freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / CoRN-Decl / ftc / FunctSeries.ma

diff --git a/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma b/helm/software/matita/contribs/CoRN-Decl/ftc/FunctSeries.ma
index 917cbe2bcbde4bfa3b5c5f172a2fe589491da743..893c4f1fd4920b4fb5792a143e81c4b7578bf79b 100644 (file)
--- 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 $ *)