helm/mathita/.depend

   1 mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi
   2 mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi
   3 mathitaGtkMisc.cmo: mathitaGtkMisc.cmi
   4 mathitaGtkMisc.cmx: mathitaGtkMisc.cmi
   5 mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi mathitaGui.cmi
   6 mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx mathitaGui.cmi
   7 mathita.cmo: mathitaGeneratedGui.cmi mathitaGui.cmi
   8 mathita.cmx: mathitaGeneratedGui.cmx mathitaGui.cmx
   9 mathitaGui.cmi: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi