helm/matita/contribs/LAMBDA-TYPES/.depend

   1 /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo: ./lref_map_defs.ma /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
   2 ./lref_map_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo
   3 /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo: ./terms_defs.ma /home/sacerdot/miohelm/matita/coq.moo
   4 ./terms_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
   5 /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo: ./tlt_defs.ma /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
   6 ./tlt_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/tlt_defs.moo
   7 !! TOTAL TIME SPENT IN disambiguate_thing: 0.
   8 !! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
   9 !! TOTAL TIME SPENT IN add_obj: 0.
  10 !! TOTAL TIME SPENT IN add_obj.index_obj: 0.
  11 !! TOTAL TIME SPENT IN add_obj.typecheck_obj: 0.
  12 !! TOTAL TIME SPENT IN alias_diff (conteggiato anche in include): 0.
  13 !! TOTAL TIME SPENT IN disambiguate_thing.refine_thing: 0.
  14 !! TOTAL TIME SPENT IN CicRefine: 0.
  15 !! TOTAL TIME SPENT IN CicRefine.fo_unif: 0.
  16 !! TOTAL TIME SPENT IN fo_unif_subst.are_convertible: 0.
  17 !! TOTAL TIME SPENT IN fo_unif_subst.deref': 0.
  18 !! TOTAL TIME SPENT IN fo_unif_subst.beta_expand: 0.
  19 !! TOTAL TIME SPENT IN fo_unif_subst.type_of_aux': 0.
  20 !! TOTAL TIME SPENT IN ~are_convertible.whd: 0.
  21 !! TOTAL TIME SPENT IN are_convertible.whd: 0.
  22 !! TOTAL TIME SPENT IN are_convertible.unwind: 0.
  23 !! TOTAL TIME SPENT IN clean_and_fill: 0.
  24 !! TOTAL TIME SPENT IN mysql: 0.
  25 !! TOTAL TIME SPENT IN Xml.pp: 0.