1 matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
2 matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
3 matitaGtkMisc.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi
4 matitaGtkMisc.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmi
5 matitaGui.cmo: matitaGeneratedGui.cmi matitaGtkMisc.cmi matitaGui.cmi
6 matitaGui.cmx: matitaGeneratedGui.cmx matitaGtkMisc.cmx matitaGui.cmi
7 matita.cmo: matitaGtkMisc.cmi matitaGui.cmi
8 matita.cmx: matitaGtkMisc.cmx matitaGui.cmx
9 matitaProof.cmo: matitaTypes.cmo matitaProof.cmi
10 matitaProof.cmx: matitaTypes.cmx matitaProof.cmi
11 matitaGtkMisc.cmi: matitaGeneratedGui.cmi
12 matitaGui.cmi: matitaGeneratedGui.cmi
13 matitaProof.cmi: matitaTypes.cmo