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