X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Ftransc%2FInvTrigonom.ma;h=73a386b025cbdac4eb516739284fc0e5e40b6629;hb=a0c0e92cee3ed99995e12b02f18e30f018d946ea;hp=5296d75cb8efe0baeae8b31147530637e66c1474;hpb=5e01cba364607e7937aec2e359c34f049bb0f108;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma b/helm/software/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
index 5296d75cb..73a386b02 100644
--- a/helm/software/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
+++ b/helm/software/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
@@ -206,7 +206,7 @@ Transparent Cos.
 Section ArcTan_Range
 *)
 
-inline "cic:/CoRN/transc/InvTrigonom/Inverses/ArcTan_Range/x.var" "Inverses__ArcTan_Range__".
+alias id "x" = "cic:/CoRN/transc/InvTrigonom/Inverses/ArcTan_Range/x.var".
 
 (* begin hide *)