X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2F.depend;h=b4b21a2e6e2fbade0c26ff1a5aa8ccef4476f1c7;hb=e01614ddeb9a35e6203c0e0a93d304f80cb52893;hp=85e7c6d76de536362b4c7fbb0e7d5fb582a08006;hpb=363299a993e4f65f3db677f907e63303f2d0eeb1;p=helm.git

diff --git a/helm/matita/contribs/LAMBDA-TYPES/.depend b/helm/matita/contribs/LAMBDA-TYPES/.depend
index 85e7c6d76..b4b21a2e6 100644
--- a/helm/matita/contribs/LAMBDA-TYPES/.depend
+++ b/helm/matita/contribs/LAMBDA-TYPES/.depend
@@ -1,9 +1,9 @@
-/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
+/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
+./lref_map_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/lref_map_defs.moo
+/home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo: ./terms_defs.ma /home/sacerdot/miohelm/matita/coq.moo
+./terms_defs.mo: /home/sacerdot/miohelm/matita/.matita/xml/matita/LAMBDA-TYPES/terms_defs.moo
+/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
+./tlt_defs.mo: /home/sacerdot/miohelm/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.
@@ -13,6 +13,13 @@
 !! 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 fo_unif_subst.are_convertible: 0.
+!! TOTAL TIME SPENT IN fo_unif_subst.deref': 0.
+!! TOTAL TIME SPENT IN fo_unif_subst.beta_expand: 0.
+!! TOTAL TIME SPENT IN fo_unif_subst.type_of_aux': 0.
+!! TOTAL TIME SPENT IN ~are_convertible.whd: 0.
+!! TOTAL TIME SPENT IN are_convertible.whd: 0.
+!! TOTAL TIME SPENT IN are_convertible.unwind: 0.
 !! TOTAL TIME SPENT IN clean_and_fill: 0.
 !! TOTAL TIME SPENT IN mysql: 0.
 !! TOTAL TIME SPENT IN Xml.pp: 0.