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