| Fri, 01 Feb 2008 08:32:26 +0100 | haftmann | fixed term_of_sort | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:27 +0200 | wenzelm | TypeInfer.constrain: canonical argument order; | file | diff | annotate |
| Mon, 17 Sep 2007 16:36:43 +0200 | wenzelm | added print_mode_value (CRITICAL); | file | diff | annotate |
| Thu, 31 May 2007 18:16:58 +0200 | wenzelm | decode_term: force qualified name into Const; | file | diff | annotate |
| Sat, 21 Apr 2007 11:07:44 +0200 | wenzelm | TypeExt.decode_term; | file | diff | annotate |
| Sun, 15 Apr 2007 14:32:04 +0200 | wenzelm | added decode_types (from type_infer.ML); | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Wed, 29 Jun 2005 15:13:44 +0200 | wenzelm | export no_type_brackets; | file | diff | annotate |
| Sat, 23 Apr 2005 19:51:24 +0200 | wenzelm | removed token_trans.ML (some content moved to syn_ext.ML); | file | diff | annotate |
| Sat, 16 Apr 2005 18:57:39 +0200 | wenzelm | Syntax.mk_trfun; | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 09 Jun 2004 18:54:26 +0200 | wenzelm | removed separate logtypes field of syntax; | file | diff | annotate |
| Sat, 29 May 2004 15:07:42 +0200 | wenzelm | tuned _dummy_ofsort syntax; | file | diff | annotate |
| Thu, 06 Nov 2003 20:45:02 +0100 | schirmer | Records: | file | diff | annotate |
| Wed, 02 Jul 2003 16:57:57 +0200 | nipkow | Type antiquotations do not use the bracket syntax by default any longer. | file | diff | annotate |
| Wed, 16 Jan 2002 23:19:34 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 28 Nov 2001 23:30:59 +0100 | wenzelm | support "_::foo" sort constraints; | file | diff | annotate |
| Sun, 20 May 2001 11:20:41 +0200 | nipkow | added (no)_type_brackets | file | diff | annotate |
| Fri, 01 Dec 2000 19:44:15 +0100 | wenzelm | no_brackets mode; | file | diff | annotate |
| Wed, 14 Jun 2000 18:00:46 +0200 | wenzelm | tuned tappl syntax; | file | diff | annotate |
| Sun, 21 May 2000 14:32:47 +0200 | wenzelm | added sort_of_term; | file | diff | annotate |
| Tue, 07 Sep 1999 16:55:38 +0200 | wenzelm | logtypes: pretend "dummy" is one; | file | diff | annotate |
| Tue, 06 Jul 1999 21:03:57 +0200 | wenzelm | export term_of_typ; | file | diff | annotate |
| Tue, 20 Oct 1998 16:30:27 +0200 | wenzelm | no open; | file | diff | annotate |
| Fri, 10 Oct 1997 15:47:41 +0200 | wenzelm | added longid syntax; | file | diff | annotate |
| Mon, 06 Oct 1997 18:25:04 +0200 | wenzelm | fixed raw_term_sorts (again!); | file | diff | annotate |
| Fri, 28 Feb 1997 16:45:38 +0100 | wenzelm | term_of_... now mark class, tfree, tvar; | file | diff | annotate |
| Mon, 24 Feb 1997 09:46:12 +0100 | wenzelm | added "_" syntax for dummyT; | file | diff | annotate |