X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FCoRN-Decl%2Ffta%2FFTA.ma;h=5b97159c0afc4324c201b704d547c04bfc9930a3;hb=0a9ed4329c069d2e06902934b6d1d58d3690959c;hp=b0da6ed449f9361f962806a584740d424d8538b0;hpb=62596f4e0a109e43c9df5da20571827c8b905ce4;p=helm.git

diff --git a/matita/contribs/CoRN-Decl/fta/FTA.ma b/matita/contribs/CoRN-Decl/fta/FTA.ma
index b0da6ed44..5b97159c0 100644
--- a/matita/contribs/CoRN-Decl/fta/FTA.ma
+++ b/matita/contribs/CoRN-Decl/fta/FTA.ma
@@ -34,11 +34,11 @@ degree [(S n)].
 Section FTA_reg'
 *)
 
-inline "cic:/CoRN/fta/FTA/FTA_reg'/f.var" "FTA_reg'__".
+alias id "f" = "cic:/CoRN/fta/FTA/FTA_reg'/f.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_reg'/n.var" "FTA_reg'__".
+alias id "n" = "cic:/CoRN/fta/FTA/FTA_reg'/n.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_reg'/f_degree.var" "FTA_reg'__".
+alias id "f_degree" = "cic:/CoRN/fta/FTA/FTA_reg'/f_degree.var".
 
 inline "cic:/CoRN/fta/FTA/FTA_reg'.con".
 
@@ -57,15 +57,15 @@ less than or equal to [(S n)] and [c] be a complex number such that
 Section FTA_1
 *)
 
-inline "cic:/CoRN/fta/FTA/FTA_1/f.var" "FTA_1__".
+alias id "f" = "cic:/CoRN/fta/FTA/FTA_1/f.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_1/n.var" "FTA_1__".
+alias id "n" = "cic:/CoRN/fta/FTA/FTA_1/n.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_1/f_degree.var" "FTA_1__".
+alias id "f_degree" = "cic:/CoRN/fta/FTA/FTA_1/f_degree.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_1/c.var" "FTA_1__".
+alias id "c" = "cic:/CoRN/fta/FTA/FTA_1/c.var".
 
-inline "cic:/CoRN/fta/FTA/FTA_1/f_c.var" "FTA_1__".
+alias id "f_c" = "cic:/CoRN/fta/FTA/FTA_1/f_c.var".
 
 inline "cic:/CoRN/fta/FTA/FTA_1a.con".