src/Pure/Syntax/type_ext.ML
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