src/Pure/Thy/term_style.ML
Mon, 26 Oct 2009 09:41:26 +0100 haftmann legacy warnings for old-style term styles
Thu, 08 Oct 2009 15:16:13 +0200 haftmann new generalized concept for term styles
Wed, 07 Oct 2009 16:57:56 +0200 haftmann generalized term styles: transformations may depend on arguments; modernized term_style module; antiquotations thm, prop and term accepting term styles
Wed, 21 Jan 2009 23:21:44 +0100 wenzelm removed Ids;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Thu, 27 Mar 2008 15:32:15 +0100 wenzelm eliminated delayed theory setup
Tue, 09 Oct 2007 00:20:13 +0200 wenzelm generic Syntax.pretty/string_of operations;
Sun, 08 Jul 2007 19:51:58 +0200 wenzelm replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
Thu, 05 Jul 2007 00:06:14 +0200 wenzelm avoid polymorphic equality;
Mon, 07 May 2007 00:49:59 +0200 wenzelm simplified DataFun interfaces;
Fri, 19 Jan 2007 22:08:15 +0100 wenzelm renamed Isar/term_style.ML to Thy/term_style.ML;
less more (0) tip