matita/components/statuses.txt

   1 grafitetypes
   2  |--> dumpable
   3  |--> nciclibrary
   4  |--> grafiteparser --> notation_parser
   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