src/Pure/Thy/term_style.ML
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-07-08 wenzelm 2007-07-08 replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2007-07-05 wenzelm 2007-07-05 avoid polymorphic equality;
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2007-01-19 wenzelm 2007-01-19 renamed Isar/term_style.ML to Thy/term_style.ML;