]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_library/.depend
dependences update
[helm.git] / helm / software / components / ng_library / .depend
1 nCic2OCic.cmi :
2 oCic2NCic.cmi :
3 nCicLibrary.cmi :
4 nCic2OCic.cmo : nCic2OCic.cmi
5 nCic2OCic.cmx : nCic2OCic.cmi
6 oCic2NCic.cmo : oCic2NCic.cmi
7 oCic2NCic.cmx : oCic2NCic.cmi
8 nCicLibrary.cmo : oCic2NCic.cmi nCic2OCic.cmi nCicLibrary.cmi
9 nCicLibrary.cmx : oCic2NCic.cmx nCic2OCic.cmx nCicLibrary.cmi