1 automath/autHelpers.cmi: automath/aut.cmx
2 automath/autHelpers.cmo: automath/aut.cmx automath/autHelpers.cmi
3 automath/autHelpers.cmx: automath/aut.cmx automath/autHelpers.cmi
4 automath/autParser.cmi: automath/aut.cmx
5 automath/autParser.cmo: automath/aut.cmx automath/autParser.cmi
6 automath/autParser.cmx: automath/aut.cmx automath/autParser.cmi
7 automath/autLexer.cmo: automath/autParser.cmi
8 automath/autLexer.cmx: automath/autParser.cmx
9 toplevel/top.cmo: automath/autParser.cmi automath/autLexer.cmx \
10 automath/autHelpers.cmi
11 toplevel/top.cmx: automath/autParser.cmx automath/autLexer.cmx \
12 automath/autHelpers.cmx