use "src/timing/timing.sml";
use "src/timing/timers.sig";
use "src/timing/timers.fun";
use "src/timing/timers.sml";
use "src/stream/stream.sml";
use "src/global/global.sig";
use "src/global/global.sml";
use "src/lambda/intsyn.sig";
use "src/lambda/intsyn.fun";
use "src/lambda/pattern.sig";
use "src/lambda/pattern.fun";
use "src/lambda/whnf.sig";
use "src/lambda/whnf.fun";
use "src/lambda/conv.sig";
use "src/lambda/conv.fun";
use "src/lambda/constraints.sig";
use "src/lambda/constraints.fun";
use "src/lambda/trail.sig";
use "src/lambda/trail.fun";
use "src/lambda/notrail.fun";
use "src/lambda/unify.sig";
use "src/lambda/unify.fun";
use "src/lambda/abstract.sig";
use "src/lambda/abstract.fun";
use "src/lambda/lambda.sml";
use "src/table/table.sig";
use "src/table/redblack.sml";
use "src/table/hash.sml";
use "src/names/names.sig";
use "src/names/names.fun";
use "src/names/names.sml";
use "src/paths/paths.sig";
use "src/paths/paths.fun";
use "src/paths/origins.sig";
use "src/paths/origins.fun";
use "src/paths/paths.sml";
use "src/formatter/formatter.sig";
use "src/formatter/formatter.fun";
use "src/formatter/formatter.sml";
use "src/print/print.sig";
use "src/print/print.fun";
use "src/print/clause-print.sig";
use "src/print/clause-print.fun";
use "src/print/print.sml";
use "src/typecheck/strict.sig";
use "src/typecheck/strict.fun";
use "src/typecheck/typecheck.sig";
use "src/typecheck/typecheck.fun";
use "src/typecheck/typecheck.sml";
use "src/table/queue.sml";
use "src/index/index.sig";
use "src/index/index.fun";
use "src/index/index.sml";
use "src/modes/modesyn.sig";
use "src/modes/modesyn.fun";
use "src/modes/modedec.sig";
use "src/modes/modedec.fun";
use "src/modes/modecheck.sig";
use "src/modes/modecheck.fun";
use "src/modes/modeprint.sig";
use "src/modes/modeprint.fun";
use "src/modes/modes.sml";
use "src/subordinate/subordinate.sig";
use "src/subordinate/subordinate.fun";
use "src/subordinate/subordinate.sml";
use "src/order/order.sig";
use "src/order/order.fun";
use "src/order/order.sml";
use "src/terminate/terminate.sig";
use "src/terminate/terminate.fun";
use "src/terminate/terminate.sml";
use "src/thm/thmsyn.sig";
use "src/thm/thmsyn.fun";
use "src/thm/thmprint.sig";
use "src/thm/thmprint.fun";
use "src/thm/thm.sig";
use "src/thm/thm.fun";
use "src/thm/thm.sml";
use "src/opsem/compsyn.sig";
use "src/opsem/compsyn.fun";
use "src/opsem/compile.sig";
use "src/opsem/compile.fun";
use "src/opsem/cprint.sig";
use "src/opsem/cprint.fun";
use "src/opsem/absmachine.sig";
use "src/opsem/absmachine.fun";
use "src/opsem/opsem.sml";
use "src/m2/meta-global.sig";
use "src/m2/meta-global.sml";
use "src/table/ring.sml";
use "src/m2/metasyn.sig";
use "src/m2/metasyn.fun";
use "src/m2/meta-abstract.sig";
use "src/m2/meta-abstract.fun";
use "src/m2/meta-print.sig";
use "src/m2/meta-print.fun";
use "src/m2/init.sig";
use "src/m2/init.fun";
use "src/m2/search.sig";
use "src/m2/search.fun";
use "src/m2/lemma.sig";
use "src/m2/lemma.fun";
use "src/m2/splitting.sig";
use "src/m2/splitting.fun";
use "src/m2/filling.sig";
use "src/m2/filling.fun";
use "src/m2/recursion.sig";
use "src/m2/recursion.fun";
use "src/m2/qed.sig";
use "src/m2/qed.fun";
use "src/m2/strategy.sig";
use "src/m2/strategy.fun";
use "src/m2/prover.sig";
use "src/m2/prover.fun";
use "src/m2/mpi.sig";
use "src/m2/mpi.fun";
use "src/m2/m2.sml";
use "src/frontend/lexer.sig";
use "src/frontend/lexer.fun";
use "src/frontend/parsing.sig";
use "src/frontend/parsing.fun";
use "src/frontend/tprecon.sig";
use "src/frontend/tprecon.fun";
use "src/frontend/moderecon.sig";
use "src/frontend/moderecon.fun";
use "src/frontend/thmrecon.sig";
use "src/frontend/thmrecon.fun";
use "src/frontend/parse-term.sig";
use "src/frontend/parse-term.fun";
use "src/frontend/parse-condec.sig";
use "src/frontend/parse-condec.fun";
use "src/frontend/parse-query.sig";
use "src/frontend/parse-query.fun";
use "src/frontend/parse-fixity.sig";
use "src/frontend/parse-fixity.fun";
use "src/frontend/parse-mode.sig";
use "src/frontend/parse-mode.fun";
use "src/frontend/parse-thm.sig";
use "src/frontend/parse-thm.fun";
use "src/frontend/parser.sig";
use "src/frontend/parser.fun";
use "src/frontend/solve.sig";
use "src/frontend/solve.fun";
use "src/frontend/twelf.sig";
use "src/frontend/twelf.fun";
use "src/frontend/frontend.sml";