src/Pure/ML/fixed_int_dummy.ML

clarified final setup of ML environment;

(*  Title:      Pure/ML/fixed_int_dummy.ML

FixedInt dummy that is not fixed (up to Poly/ML 5.6).
*)

structure FixedInt = IntInf;