isabelle: File revisions

src/Pure/Thy/term_style.ML

2011-02-02	krauss	2011-02-02	made SML/NJ happy	file \| diff \| annotate
2011-02-01	krauss	2011-02-01	term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...)	file \| diff \| annotate
2010-05-15	wenzelm	2010-05-15	refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P;	file \| diff \| annotate
2010-03-07	wenzelm	2010-03-07	modernized structure Object_Logic;	file \| diff \| annotate
2009-11-08	wenzelm	2009-11-08	adapted Theory_Data; tuned;	file \| diff \| annotate
2009-10-26	haftmann	2009-10-26	legacy warnings for old-style term styles	file \| diff \| annotate
2009-10-08	haftmann	2009-10-08	new generalized concept for term styles	file \| diff \| annotate
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	file \| diff \| annotate
2009-01-21	wenzelm	2009-01-21	removed Ids;	file \| diff \| annotate
2008-03-28	wenzelm	2008-03-28	Context.>> : operate on Context.generic;	file \| diff \| annotate
2008-03-27	wenzelm	2008-03-27	eliminated delayed theory setup	file \| diff \| annotate
2007-10-09	wenzelm	2007-10-09	generic Syntax.pretty/string_of operations;	file \| diff \| annotate
2007-07-08	wenzelm	2007-07-08	replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;	file \| diff \| annotate
2007-07-05	wenzelm	2007-07-05	avoid polymorphic equality;	file \| diff \| annotate
2007-05-07	wenzelm	2007-05-07	simplified DataFun interfaces;	file \| diff \| annotate
2007-01-19	wenzelm	2007-01-19	renamed Isar/term_style.ML to Thy/term_style.ML;	file \| diff \| annotate

isabelle

RSS Atom