src/Pure/ML-Systems/ml_pretty.ML
2009-03-21 wenzelm 2009-03-21 simplified datatype ML_Pretty.pretty: model Isabelle not Poly/ML;
2009-03-21 wenzelm 2009-03-21 Datatype for ML pretty printing (cf. mlsource/MLCompiler/Pretty.sml in Poly/ML 5.3).