(* MLton version *)
(* For use with MLton >= 20041109 *)
Group is
../build/twelf-core-mlton.cm

regression.sml
runquiet.sml