helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend

   1 /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo: ./ac_defs.ma /home/sacerdot/miohelm/matita/coq.moo
   2 ./ac_defs.mo: /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo
   3 /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/qd_defs.moo: ./qd_defs.ma /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/ac_defs.moo
   4 ./qd_defs.mo: /home/sacerdot/.matita/xml/matita/PREDICATIVE-TOPOLOGY/qd_defs.moo