1 /home/sacerdot/.matita/xml/matita/tests/auto.moo: auto.ma /home/sacerdot/miohelm/matita/coq.moo
2 auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
3 /home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
4 baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo
5 /home/sacerdot/.matita/xml/matita/tests/test2.moo: test2.ma /home/sacerdot/miohelm/matita/coq.moo
6 test2.mo: /home/sacerdot/.matita/xml/matita/tests/test2.moo