]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/disambiguation/.depend
update in ground and delayed_updating
[helm.git] / helm / software / components / disambiguation / .depend
1 disambiguateTypes.cmi :
2 disambiguate.cmi : disambiguateTypes.cmi
3 multiPassDisambiguator.cmi : disambiguateTypes.cmi disambiguate.cmi
4 disambiguateTypes.cmo : disambiguateTypes.cmi
5 disambiguateTypes.cmx : disambiguateTypes.cmi
6 disambiguate.cmo : disambiguateTypes.cmi disambiguate.cmi
7 disambiguate.cmx : disambiguateTypes.cmx disambiguate.cmi
8 multiPassDisambiguator.cmo : disambiguateTypes.cmi disambiguate.cmi \
9     multiPassDisambiguator.cmi
10 multiPassDisambiguator.cmx : disambiguateTypes.cmx disambiguate.cmx \
11     multiPassDisambiguator.cmi