src/Pure/Thy/term_style.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2009-11-08 wenzelm 2009-11-08 adapted Theory_Data; tuned;
2009-10-26 haftmann 2009-10-26 legacy warnings for old-style term styles
2009-10-08 haftmann 2009-10-08 new generalized concept for term styles
2009-10-07 haftmann 2009-10-07 generalized term styles: transformations may depend on arguments; modernized term_style module; antiquotations thm, prop and term accepting term styles
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
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;