hh_term.cmo :
hh_term.cmx :
hh_lexer.cmo : hh_parse.cmo
hh_lexer.cmx : hh_parse.cmx
hh_parse.cmo : hh_term.cmo
hh_parse.cmx : hh_term.cmx
toolbox.cmo :
toolbox.cmx :
read.cmo : hh_parse.cmo hh_lexer.cmo
read.cmx : hh_parse.cmx hh_lexer.cmx
preprocess.cmo : toolbox.cmo hh_term.cmo hh_parse.cmo
preprocess.cmx : toolbox.cmx hh_term.cmx hh_parse.cmx
init.cmo : toolbox.cmo read.cmo preprocess.cmo hh_term.cmo hh_parse.cmo
init.cmx : toolbox.cmx read.cmx preprocess.cmx hh_term.cmx hh_parse.cmx
pattern.cmo : toolbox.cmo init.cmo hh_term.cmo
pattern.cmx : toolbox.cmx init.cmx hh_term.cmx
scoring.cmo : toolbox.cmo pattern.cmo init.cmo hh_term.cmo
scoring.cmx : toolbox.cmx pattern.cmx init.cmx hh_term.cmx
