]> matita.cs.unibo.it Git - helm.git/blob - helm/hxp/.depend
Big bug fixed: in the case t <?= ?1, the instantiation ?1 := t was generated
[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