]> matita.cs.unibo.it Git - helm.git/blob - helm/hxp/.depend
...
[helm.git] / helm / hxp / .depend
1 hxpTop.cmo: hxpTypes.cmo hxpXML.cmo 
2 hxpTop.cmx: hxpTypes.cmx hxpXML.cmx 
3 hxpParser.cmo: hxpTypes.cmo hxpParser.cmi 
4 hxpParser.cmx: hxpTypes.cmx hxpParser.cmi 
5 hxpParser.cmi: hxpTypes.cmo 
6 hxpLexer.cmo: hxpParser.cmi 
7 hxpLexer.cmx: hxpParser.cmx 
8 hxpXML.cmo: hxpLexer.cmo hxpParser.cmi hxpTypes.cmo 
9 hxpXML.cmx: hxpLexer.cmx hxpParser.cmx hxpTypes.cmx