matita/components/statuses.txt

   1 grafitetypes
   2  |--> dumpable
   3  |--> nciclibrary
   4  |--> grafiteparser -----
   5  |--> tac               |
   6        |--> auto        |
   7        |--> eq          |
   8        |-------------> lexicon
   9                         |--> notation_parser
  10                         |--> interpretation
  11                         |       |--> nciccoercion --> unif_hint
  12                         |--> termcontentpres
  13
  14 applytransformation
  15     |
  16     |-> interpretation -> nciccoercion
  17     |                         |
  18     |                     unif_hint
  19     |
  20     |-> termcontentpres