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