/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo: ./lref_map_defs.ma /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
./lref_map_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo
/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo: ./terms_defs.ma /home/tassi/helm/matita/coq.moo
./terms_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
/home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo: ./tlt_defs.ma /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
./tlt_defs.mo: /home/tassi/helm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo
!! TOTAL TIME SPENT IN disambiguate_thing: 0.
!! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
!! TOTAL TIME SPENT IN add_obj: 0.
!! TOTAL TIME SPENT IN add_obj.index_obj: 0.
!! TOTAL TIME SPENT IN add_obj.typecheck_obj: 0.
!! TOTAL TIME SPENT IN alias_diff (conteggiato anche in include): 0.
!! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
!! TOTAL TIME SPENT IN CicRefine: 0.
!! TOTAL TIME SPENT IN CicRefine.fo_unif: 0.
!! TOTAL TIME SPENT IN clean_and_fill: 0.
!! TOTAL TIME SPENT IN mysql: 0.
!! TOTAL TIME SPENT IN Xml.pp: 0.