src/Pure/display.ML
1997-09-11 wenzelm 1997-09-11 removed print_goals_ref (which was broken anyway);
1997-07-22 wenzelm 1997-07-22 added pretty_cterm;
1997-07-18 wenzelm 1997-07-18 considered removal of print_goals_ref;
1997-04-18 wenzelm 1997-04-18 print_goals: fixed show_sorts semantics;
1996-11-26 paulson 1996-11-26 Eta-expansion of a function definition, for value polymorphism
1996-11-13 paulson 1996-11-13 Removal of polymorphic equality via mem, subset, eq_set, etc
1996-03-20 paulson 1996-03-20 New module for display/printing operations, taken from drule.ML