...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / reals / CMetricFields.mma

diff --git a/helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma b/helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma
index db365edaef8d68341dfbffa6df4b3b744e92aec1..4230a880048f3c5f1ce3089c0bca8b1eaf950a8a 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/reals/CMetricFields.mma
@@ -62,7 +62,9 @@ End basics
 Section CMetric_Field_Cauchy
 *)
 
-alias id "F" = "cic:/CoRN/reals/CMetricFields/CMetric_Field_Cauchy/F.var".
+(* UNEXPORTED
+cic:/CoRN/reals/CMetricFields/CMetric_Field_Cauchy/F.var
+*)
 
 (*#*
 %\begin{convention}% Let [F:CMetricField].