]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_generator/.depend
b8ecb13674246cfa23132d489b0d7a4b8c4a9f8f
[helm.git] / helm / ocaml / mathql_generator / .depend
1 mQGUtil.cmi: mQGTypes.cmo 
2 mQueryGenerator.cmi: mQGTypes.cmo 
3 mQueryLevels2.cmi: mQGTypes.cmo 
4 mQGUtil.cmo: mQGTypes.cmo mQGUtil.cmi 
5 mQGUtil.cmx: mQGTypes.cmx mQGUtil.cmi 
6 mQueryGenerator.cmo: mQGTypes.cmo mQGUtil.cmi mQueryGenerator.cmi 
7 mQueryGenerator.cmx: mQGTypes.cmx mQGUtil.cmx mQueryGenerator.cmi 
8 mQueryLevels.cmo: mQueryLevels.cmi 
9 mQueryLevels.cmx: mQueryLevels.cmi 
10 mQueryLevels2.cmo: mQGTypes.cmo mQGUtil.cmi mQueryLevels2.cmi 
11 mQueryLevels2.cmx: mQGTypes.cmx mQGUtil.cmx mQueryLevels2.cmi