src/Pure/ML-Systems/pp_dummy.ML
2010-08-23 ago added ML toplevel pretty-printing for tables, using dummy for anything other than Poly/ML 5.3.0 (or later);