src/Pure/display.ML
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