]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/cic_disambiguation/.depend.opt
fast and sound registry lists
[helm.git] / helm / software / components / cic_disambiguation / .depend.opt
1 disambiguateChoices.cmi: disambiguateTypes.cmi 
2 disambiguate.cmi: disambiguateTypes.cmi 
3 disambiguateTypes.cmo: disambiguateTypes.cmi 
4 disambiguateTypes.cmx: disambiguateTypes.cmi 
5 disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
6 disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi 
7 disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
8     disambiguate.cmi 
9 disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
10     disambiguate.cmi 
11 number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
12 number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx