]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/acic_procedural/.depend
- Procedural: moved in a directory on its own
[helm.git] / helm / software / components / acic_procedural / .depend
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