...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / ftc / RefSepRef.mma

diff --git a/helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma b/helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma
index a8205ce4c5652ba1a5938471b537f6ad15a69ab8..93c80f65db4686c246fb79842b1f75d5599d1c54 100644 (file)
--- a/helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma
+++ b/helm/software/matita/contribs/CoRN-Procedural/ftc/RefSepRef.mma
@@ -28,29 +28,51 @@ include "ftc/Partitions.ma".
 Section Refining_Separated
 *)
 
-alias id "a" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/a.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/a.var
+*)
 
-alias id "b" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/b.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/b.var
+*)
 
-alias id "Hab" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/Hab.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/Hab.var
+*)
 
 inline procedural "cic:/CoRN/ftc/RefSepRef/Refining_Separated/I.con" "Refining_Separated__" as definition.
 
-alias id "F" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/F.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/F.var
+*)
 
-alias id "contF" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/contF.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/contF.var
+*)
 
-alias id "incF" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/incF.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/incF.var
+*)
 
-alias id "m" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/m.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/m.var
+*)
 
-alias id "n" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/n.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/n.var
+*)
 
-alias id "P" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/P.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/P.var
+*)
 
-alias id "R" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/R.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/R.var
+*)
 
-alias id "HPR" = "cic:/CoRN/ftc/RefSepRef/Refining_Separated/HPR.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/RefSepRef/Refining_Separated/HPR.var
+*)
 
 inline procedural "cic:/CoRN/ftc/RefSepRef/RSR_HP.con" as lemma.