src/Pure/Thy/term_style.ML
Sun, 20 Mar 2011 22:47:08 +0100 wenzelm tuned;
Wed, 02 Feb 2011 08:47:45 +0100 krauss made SML/NJ happy
Tue, 01 Feb 2011 21:09:52 +0100 krauss term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...)
Sat, 15 May 2010 23:16:32 +0200 wenzelm refer directly to structure Keyword and Parse;
Sun, 07 Mar 2010 12:19:47 +0100 wenzelm modernized structure Object_Logic;
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data;
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