src/Pure/Syntax/type_ext.ML
Mon, 17 Sep 2007 16:36:43 +0200 wenzelm added print_mode_value (CRITICAL);
Thu, 31 May 2007 18:16:58 +0200 wenzelm decode_term: force qualified name into Const;
Sat, 21 Apr 2007 11:07:44 +0200 wenzelm TypeExt.decode_term;
Sun, 15 Apr 2007 14:32:04 +0200 wenzelm added decode_types (from type_infer.ML);
Wed, 04 Oct 2006 14:17:38 +0200 haftmann insert replacing ins ins_int ins_string
Tue, 21 Mar 2006 12:18:15 +0100 wenzelm avoid polymorphic equality;
Wed, 29 Jun 2005 15:13:44 +0200 wenzelm export no_type_brackets;
Sat, 23 Apr 2005 19:51:24 +0200 wenzelm removed token_trans.ML (some content moved to syn_ext.ML);
Sat, 16 Apr 2005 18:57:39 +0200 wenzelm Syntax.mk_trfun;
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Wed, 09 Jun 2004 18:54:26 +0200 wenzelm removed separate logtypes field of syntax;
Sat, 29 May 2004 15:07:42 +0200 wenzelm tuned _dummy_ofsort syntax;
Thu, 06 Nov 2003 20:45:02 +0100 schirmer Records:
Wed, 02 Jul 2003 16:57:57 +0200 nipkow Type antiquotations do not use the bracket syntax by default any longer.
Wed, 16 Jan 2002 23:19:34 +0100 wenzelm GPLed;
Wed, 28 Nov 2001 23:30:59 +0100 wenzelm support "_::foo" sort constraints;
Sun, 20 May 2001 11:20:41 +0200 nipkow added (no)_type_brackets
Fri, 01 Dec 2000 19:44:15 +0100 wenzelm no_brackets mode;
Wed, 14 Jun 2000 18:00:46 +0200 wenzelm tuned tappl syntax;
Sun, 21 May 2000 14:32:47 +0200 wenzelm added sort_of_term;
Tue, 07 Sep 1999 16:55:38 +0200 wenzelm logtypes: pretend "dummy" is one;
Tue, 06 Jul 1999 21:03:57 +0200 wenzelm export term_of_typ;
Tue, 20 Oct 1998 16:30:27 +0200 wenzelm no open;
Fri, 10 Oct 1997 15:47:41 +0200 wenzelm added longid syntax;
Mon, 06 Oct 1997 18:25:04 +0200 wenzelm fixed raw_term_sorts (again!);
Fri, 28 Feb 1997 16:45:38 +0100 wenzelm term_of_... now mark class, tfree, tvar;
Mon, 24 Feb 1997 09:46:12 +0100 wenzelm added "_" syntax for dummyT;
Thu, 06 Feb 1997 17:44:14 +0100 wenzelm improved comments;
Wed, 18 Dec 1996 13:31:47 +0100 oheimb little improvement for the handling of sort constraints:
Fri, 16 Feb 1996 17:24:51 +0100 paulson Elimination of fully-functorial style.
Thu, 08 Dec 1994 12:46:25 +0100 clasohm changed Pure's grammar and the way types are converted to nonterminals
Wed, 12 Oct 1994 16:34:52 +0100 wenzelm removed old comment;
Tue, 04 Oct 1994 13:02:16 +0100 clasohm made major changes to grammar; Isabelle94-1
Fri, 19 Aug 1994 15:38:18 +0200 wenzelm added raw_term_sorts and changed typ_of_term accordingly (part of fix
Mon, 02 May 1994 12:34:56 +0200 wenzelm changed translation of type applications according to new grammar;
Fri, 22 Apr 1994 12:43:53 +0200 clasohm changed the way a grammar is generated to allow the new parser to work;
Thu, 03 Feb 1994 13:59:00 +0100 wenzelm minor internal changes;
Wed, 19 Jan 1994 14:23:18 +0100 wenzelm minor internal changes;
Mon, 04 Oct 1993 15:30:49 +0100 wenzelm lots of internal cleaning and tuning;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip