...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / fta / CPoly_Contin1.mma

diff --git a/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma b/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma
index e389d23dee687ae2f6d7321c46ff120a1018fda8..1db8b1ac0635a73bbbd7445f7883a7135f290892 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Contin1.mma
@@ -46,7 +46,9 @@ Section CPoly_CC_Continuous
 %\end{convention}%
 *)
 
-alias id "g" = "cic:/CoRN/fta/CPoly_Contin1/CPoly_CC_Continuous/g.var".
+(* UNEXPORTED
+cic:/CoRN/fta/CPoly_Contin1/CPoly_CC_Continuous/g.var
+*)
 
 inline procedural "cic:/CoRN/fta/CPoly_Contin1/cpoly_CC_contin.con" as lemma.