helm/software/matita/dist/TODO

   1 TODO:
   2 - "ncoercion" statement:
   3   - type processing to identify source/target
   4   - transitive closure (in the new Cic)
   5   - generation of hints to implement the pullback
   6 - principles generation:
   7   - pretty printer for new statements required
   8 - dependency graphs
   9 - queries (on the trie?)
  10 - serialization/undo
  11   - objects
  12   - ng_status (moo/lexicon)
  13 - Tactics:
  14   - satuation
  15   - destruct
  16 - Semantic selection:
  17   - cosa usare per i pattern % ?
  18
  19 - Library.copy_at_level
  20 - NCicRefiner.typeof e inferenza universi
  21 - hints:
  22   - compare with the paper