]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql_generator/.depend
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / ocaml / mathql_generator / .depend
1 mQGUtil.cmi: mQGTypes.cmo 
2 mQueryGenerator.cmi: mQGTypes.cmo 
3 cGMatchConclusion.cmi: mQGTypes.cmo 
4 cGSearchPattern.cmi: mQGTypes.cmo 
5 mQGUtil.cmo: mQGTypes.cmo mQGUtil.cmi 
6 mQGUtil.cmx: mQGTypes.cmx mQGUtil.cmi 
7 mQueryGenerator.cmo: mQGTypes.cmo mQGUtil.cmi mQueryGenerator.cmi 
8 mQueryGenerator.cmx: mQGTypes.cmx mQGUtil.cmx mQueryGenerator.cmi 
9 cGMatchConclusion.cmo: cGMatchConclusion.cmi 
10 cGMatchConclusion.cmx: cGMatchConclusion.cmi 
11 cGSearchPattern.cmo: mQGTypes.cmo mQGUtil.cmi cGSearchPattern.cmi 
12 cGSearchPattern.cmx: mQGTypes.cmx mQGUtil.cmx cGSearchPattern.cmi