| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 20 Nov 2008 00:03:47 +0100 | wenzelm | Pure syntax: more coherent treatment of aprop, permanent TERM and &&&; | file | diff | annotate |
| Tue, 28 Oct 2008 11:03:07 +0100 | ballarin | Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'. | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:32 +0200 | haftmann | dropped locale (open) | file | diff | annotate |
| Sun, 18 May 2008 17:03:23 +0200 | wenzelm | converted to regular application syntax; | file | diff | annotate |
| Mon, 07 Apr 2008 21:29:46 +0200 | wenzelm | prefer plain ASCII here; | file | diff | annotate |
| Mon, 07 Apr 2008 21:25:21 +0200 | wenzelm | added swap_params; | file | diff | annotate |
| Thu, 27 Mar 2008 15:32:15 +0100 | wenzelm | eliminated delayed theory setup | file | diff | annotate |
| Thu, 27 Mar 2008 14:41:12 +0100 | wenzelm | reduced to theory body (cf. OuterSyntax.process_file); | file | diff | annotate |
| Tue, 17 Jul 2007 13:19:19 +0200 | wenzelm | moved print_translations from Pure.thy to Syntax/syn_trans.ML; | file | diff | annotate |
| Wed, 20 Jun 2007 08:09:56 +0200 | nipkow | added meta_impE | file | diff | annotate |
| Fri, 11 May 2007 01:07:10 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Sat, 02 Dec 2006 14:59:25 +0100 | wenzelm | meta_term_syntax: proper operation on untyped preterms; | file | diff | annotate |
| Sat, 02 Dec 2006 02:52:07 +0100 | wenzelm | added some support for embedded terms; | file | diff | annotate |
| Tue, 19 Sep 2006 23:15:36 +0200 | wenzelm | revert to previous version; | file | diff | annotate |
| Tue, 19 Sep 2006 15:22:03 +0200 | haftmann | (void) | file | diff | annotate |
| Tue, 06 Jun 2006 20:47:12 +0200 | wenzelm | removed Toplevel.debug; | file | diff | annotate |
| Tue, 06 Jun 2006 10:05:57 +0200 | ballarin | Improved parameter management of locales. | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:32 +0100 | wenzelm | simplified Pure conjunction; | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | cannot use section before setup; | file | diff | annotate |
| Sun, 29 Jan 2006 19:23:43 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:15 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 13 Jan 2006 01:12:59 +0100 | wenzelm | implicit setup, which admits exception_trace; | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:52 +0100 | wenzelm | added locale meta_conjunction_syntax and various conjunction rules; | file | diff | annotate |
| Fri, 28 Oct 2005 22:26:10 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 23 Apr 2005 19:49:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 21 Apr 2005 22:06:00 +0200 | wenzelm | The Pure theory. | file | diff | annotate |