| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Thu, 02 Aug 2012 12:36:54 +0200 |
wenzelm |
more official command specifications, including source position;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 23:33:26 +0200 |
wenzelm |
more standard bootstrapping of Pure outer syntax;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 19:53:20 +0200 |
wenzelm |
more standard bootstrapping of Pure.thy;
|
file |
diff |
annotate
|
| 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
|