procedural: added fwd rewrite in arbitrary proofs (not just premises)

[helm.git] / matita / contribs / CoRN-Decl / transc / InvTrigonom.ma

diff --git a/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma b/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
index 5296d75cb8efe0baeae8b31147530637e66c1474..73a386b025cbdac4eb516739284fc0e5e40b6629 100644 (file)
--- a/matita/contribs/CoRN-Decl/transc/InvTrigonom.ma
+++ b/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 *)