| 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 |