+diff.cmi: mathql_semantics.cmo
+sortedby.cmi: mathql_semantics.cmo
select.cmi: mathql_semantics.cmo
intersect.cmi: mathql_semantics.cmo
union.cmi: mathql_semantics.cmo
utility.cmx: dbconn.cmx utility.cmi
func.cmo: dbconn.cmi utility.cmi func.cmi
func.cmx: dbconn.cmx utility.cmx func.cmi
-diff.cmo: diff.cmi
-diff.cmx: diff.cmi
-sortedby.cmo: func.cmi utility.cmi sortedby.cmi
-sortedby.cmx: func.cmx utility.cmx sortedby.cmi
+diff.cmo: mathql_semantics.cmo diff.cmi
+diff.cmx: mathql_semantics.cmx diff.cmi
+sortedby.cmo: func.cmi mathql_semantics.cmo utility.cmi sortedby.cmi
+sortedby.cmx: func.cmx mathql_semantics.cmx utility.cmx sortedby.cmi
select.cmo: func.cmi mathql_semantics.cmo utility.cmi select.cmi
select.cmx: func.cmx mathql_semantics.cmx utility.cmx select.cmi
intersect.cmo: mathql_semantics.cmo intersect.cmi