...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / algebra / CVectorSpace.mma

diff --git a/helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma b/helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma
index 93515c59dfb93d88bae1fbbffc9b7c88e33109ac..76bf9c59d52f4d18b4c3547ddec44fd177c69896 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/algebra/CVectorSpace.mma
@@ -80,9 +80,13 @@ Let [F] be a fiels and let [V] be a vector space over [F]
 Section VS_basics
 *)
 
-alias id "F" = "cic:/CoRN/algebra/CVectorSpace/VS_basics/F.var".
+(* UNEXPORTED
+cic:/CoRN/algebra/CVectorSpace/VS_basics/F.var
+*)
 
-alias id "V" = "cic:/CoRN/algebra/CVectorSpace/VS_basics/V.var".
+(* UNEXPORTED
+cic:/CoRN/algebra/CVectorSpace/VS_basics/V.var
+*)
 
 inline procedural "cic:/CoRN/algebra/CVectorSpace/vs_op_zero.con" as lemma.