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