-mQueryTParser.cmi: mathQL.cmo
-mQueryUtil.cmi: mathQL.cmo
-mQueryTParser.cmo: mathQL.cmo mQueryTParser.cmi
-mQueryTParser.cmx: mathQL.cmx mQueryTParser.cmi
-mQueryTLexer.cmo: mQueryTParser.cmi
-mQueryTLexer.cmx: mQueryTParser.cmx
-mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmi mathQL.cmo mQueryUtil.cmi
-mQueryUtil.cmx: mQueryTLexer.cmx mQueryTParser.cmx mathQL.cmx mQueryUtil.cmi
+listAvs.cmi: avs.cmo
+avsUtil.cmi: mathQL.cmo
+mQueryUtil.cmo: mQueryUtil.cmi
+mQueryUtil.cmx: mQueryUtil.cmi
+listAvs.cmo: avs.cmo listAvs.cmi
+listAvs.cmx: avs.cmx listAvs.cmi
+mathQL.cmo: avs.cmo listAvs.cmi
+mathQL.cmx: avs.cmx listAvs.cmx
+avsUtil.cmo: mQueryUtil.cmi mathQL.cmo avsUtil.cmi
+avsUtil.cmx: mQueryUtil.cmx mathQL.cmx avsUtil.cmi