...

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

diff --git a/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma b/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma
index 5e31ee33e37872577ed5861c889c4f21ba592484..c8e7e89fc268c6ff3bc51ec87451ec007c9d4e97 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/fta/CPoly_Rev.mma
@@ -33,7 +33,9 @@ polynomials over this ring.
 %\end{convention}%
 *)
 
-alias id "R" = "cic:/CoRN/fta/CPoly_Rev/Monomials/R.var".
+(* UNEXPORTED
+cic:/CoRN/fta/CPoly_Rev/Monomials/R.var
+*)
 
 (* begin hide *)
 
@@ -91,7 +93,9 @@ Implicit Arguments monom [R].
 Section Poly_Reverse
 *)
 
-alias id "R" = "cic:/CoRN/fta/CPoly_Rev/Poly_Reverse/R.var".
+(* UNEXPORTED
+cic:/CoRN/fta/CPoly_Rev/Poly_Reverse/R.var
+*)
 
 (* begin hide *)