]> matita.cs.unibo.it Git - helm.git/blob - components/acic_procedural/.depend.opt
unified: some theorems on Lift started
[helm.git] / components / acic_procedural / .depend.opt
1 cicClassify.cmo: cicClassify.cmi 
2 cicClassify.cmx: cicClassify.cmi 
3 proceduralConversion.cmo: proceduralConversion.cmi 
4 proceduralConversion.cmx: proceduralConversion.cmi 
5 proceduralTypes.cmo: proceduralTypes.cmi 
6 proceduralTypes.cmx: proceduralTypes.cmi 
7 acic2Procedural.cmo: proceduralTypes.cmi proceduralConversion.cmi \
8     cicClassify.cmi acic2Procedural.cmi 
9 acic2Procedural.cmx: proceduralTypes.cmx proceduralConversion.cmx \
10     cicClassify.cmx acic2Procedural.cmi