...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / transc / RealPowers.mma

diff --git a/helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma b/helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma
index 3f16bd0d351bb0a090f1c72b85cc9e4b21fd53aa..dc2701e1faf5cdc06b19a2f24a2829f821e3c43e 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/transc/RealPowers.mma
@@ -139,11 +139,17 @@ on partial functions which preserves continuity.
 %\end{convention}%
 *)
 
-alias id "J" = "cic:/CoRN/transc/RealPowers/Power_Function/J.var".
+(* UNEXPORTED
+cic:/CoRN/transc/RealPowers/Power_Function/J.var
+*)
 
-alias id "F" = "cic:/CoRN/transc/RealPowers/Power_Function/F.var".
+(* UNEXPORTED
+cic:/CoRN/transc/RealPowers/Power_Function/F.var
+*)
 
-alias id "G" = "cic:/CoRN/transc/RealPowers/Power_Function/G.var".
+(* UNEXPORTED
+cic:/CoRN/transc/RealPowers/Power_Function/G.var
+*)
 
 inline procedural "cic:/CoRN/transc/RealPowers/FPower.con" as definition.