]> matita.cs.unibo.it Git - helm.git/blob - components/cic_acic/.depend
added stuff for profiling macros
[helm.git] / components / cic_acic / .depend
1 cic2Xml.cmi: cic2acic.cmi 
2 eta_fixing.cmo: eta_fixing.cmi 
3 eta_fixing.cmx: eta_fixing.cmi 
4 doubleTypeInference.cmo: doubleTypeInference.cmi 
5 doubleTypeInference.cmx: doubleTypeInference.cmi 
6 cic2acic.cmo: eta_fixing.cmi doubleTypeInference.cmi cic2acic.cmi 
7 cic2acic.cmx: eta_fixing.cmx doubleTypeInference.cmx cic2acic.cmi 
8 cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi 
9 cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi