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

diff --git a/matita/contribs/CoRN-Decl/transc/RealPowers.ma b/matita/contribs/CoRN-Decl/transc/RealPowers.ma
index 7e8950fee..fd081416a 100644
--- a/matita/contribs/CoRN-Decl/transc/RealPowers.ma
+++ b/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".