mathitaGui.cmo: mathitaGui.cmi 
mathitaGui.cmx: mathitaGui.cmi 
mathita.cmo: mathitaGui.cmi 
mathita.cmx: mathitaGui.cmx