X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Ftransc%2FRealPowers.ma;h=fd081416a06d63a6b8fadb81dd41cb59cf548e21;hb=dc74ed7c4af1aa9b90fc5d2f0a86bd7825696e71;hp=7e8950fee04109475fccadacf922dd94c901039f;hpb=5e01cba364607e7937aec2e359c34f049bb0f108;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/transc/RealPowers.ma b/helm/software/matita/contribs/CoRN-Decl/transc/RealPowers.ma
index 7e8950fee..fd081416a 100644
--- a/helm/software/matita/contribs/CoRN-Decl/transc/RealPowers.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/transc/RealPowers.ma
@@ -141,11 +141,11 @@ on partial functions which preserves continuity.
 %\end{convention}%
 *)
 
-inline "cic:/CoRN/transc/RealPowers/Power_Function/J.var" "Power_Function__".
+alias id "J" = "cic:/CoRN/transc/RealPowers/Power_Function/J.var".
 
-inline "cic:/CoRN/transc/RealPowers/Power_Function/F.var" "Power_Function__".
+alias id "F" = "cic:/CoRN/transc/RealPowers/Power_Function/F.var".
 
-inline "cic:/CoRN/transc/RealPowers/Power_Function/G.var" "Power_Function__".
+alias id "G" = "cic:/CoRN/transc/RealPowers/Power_Function/G.var".
 
 inline "cic:/CoRN/transc/RealPowers/FPower.con".