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

quiet.sml