union.cmi: mathql_semantics.cmo
pattern.cmi: mathql_semantics.cmo
use.cmi: mathql_semantics.cmo
+letin.cmi: mathql_semantics.cmo
dbconn.cmo: dbconn.cmi
dbconn.cmx: dbconn.cmi
eval.cmo: eval.cmi
pattern.cmx: dbconn.cmx eval.cmx mathql_semantics.cmx utility.cmx pattern.cmi
use.cmo: dbconn.cmi mathql_semantics.cmo utility.cmi use.cmi
use.cmx: dbconn.cmx mathql_semantics.cmx utility.cmx use.cmi
+letin.cmo: func.cmi utility.cmi letin.cmi
+letin.cmx: func.cmx utility.cmx letin.cmi
mqint.cmo: dbconn.cmi diff.cmi eval.cmi intersect.cmi mathql_semantics.cmo \
pattern.cmi select.cmi sortedby.cmi union.cmi use.cmi utility.cmi \
mqint.cmi