X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fstatuses.txt;h=64f41167b9b6ac88e20d369587c750c43d3a7e33;hb=10d33a8c1be31d0c7aeccee8968fd5218ca2510a;hp=cb454ba5c78471b185eaa810919ac01d7203599d;hpb=e63af7cac81040c1769855da41d0782c87701945;p=helm.git

diff --git a/matita/components/statuses.txt b/matita/components/statuses.txt
index cb454ba5c..64f41167b 100644
--- a/matita/components/statuses.txt
+++ b/matita/components/statuses.txt
@@ -1,7 +1,15 @@
 grafitetypes -> tac -> auto + eq + (grafitedisambiguate = lexicon+nciccoercion)
            |--> dumpable                                    |             |
-           |--> nciclibrary                             interpretation unif_hint
+           |--> nciclibrary                                 |       unif_hint
+                                                            |
+                    interpretation + termcontentpres = cicnotation
+                                                         
+
+
+
 
 ntermciccontent = nciccoercion+interpretation
                        |
                   unif_hint
+
+applytransformation = ntermciccontent+termcontentpres