src/Pure/display.ML
1997-10-20 wenzelm 1997-10-20 tuned output;
1997-10-16 paulson 1997-10-16 Eta-expansion of function declarations, for value polymorphism
1997-10-15 wenzelm 1997-10-15 improved print_data;
1997-10-14 wenzelm 1997-10-14 Sign.print_data;
1997-10-13 wenzelm 1997-10-13 print_goals: optional output of const types (set show_consts);
1997-10-09 wenzelm 1997-10-09 print_theory: added oracles;
1997-10-06 wenzelm 1997-10-06 now uses new Sign.pretty_sort;
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