]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql/.depend
6d18bd83cc2e0a71f7bcb34688a65eb53e8137ff
[helm.git] / helm / ocaml / mathql / .depend
1 listAvs.cmi: avs.cmo 
2 avsUtil.cmi: mathQL.cmo 
3 listAvs.cmo: avs.cmo listAvs.cmi 
4 listAvs.cmx: avs.cmx listAvs.cmi 
5 mathQL.cmo: avs.cmo listAvs.cmi 
6 mathQL.cmx: avs.cmx listAvs.cmx 
7 avsUtil.cmo: mathQL.cmo avsUtil.cmi 
8 avsUtil.cmx: mathQL.cmx avsUtil.cmi 
9 mQueryUtil.cmo: mQueryUtil.cmi 
10 mQueryUtil.cmx: mQueryUtil.cmi