| Sat, 10 Oct 2015 21:12:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 21:08:58 +0200 |
wenzelm |
tuned syntax -- more symbols;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 21:03:35 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 21:28:24 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2014 11:35:33 +0200 |
wenzelm |
prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
|
file |
diff |
annotate
|
| Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
| Wed, 10 Oct 2012 15:01:20 +0200 |
wenzelm |
modernized dynamic "rules" -- avoid rebinding of static facts;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 16:57:24 +0200 |
wenzelm |
discontinued redundant ASCII syntax;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 16:44:34 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 13:31:16 +0200 |
wenzelm |
explicit structure Syntax_Trans;
|
file |
diff |
annotate
|
| Wed, 12 Jan 2011 16:33:04 +0100 |
wenzelm |
eliminated global prems;
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 17:43:54 +0100 |
wenzelm |
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
|
file |
diff |
annotate
|
| Mon, 20 Sep 2010 16:05:25 +0200 |
wenzelm |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
|
file |
diff |
annotate
|
| Sun, 21 Feb 2010 21:10:01 +0100 |
wenzelm |
adapted to authentic syntax;
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 22:19:58 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| Mon, 08 Feb 2010 21:28:27 +0100 |
wenzelm |
modernized some syntax translations;
|
file |
diff |
annotate
|
| Sun, 18 May 2008 17:03:16 +0200 |
wenzelm |
setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 21:55:15 +0200 |
wenzelm |
avoid internal names;
|
file |
diff |
annotate
|
| Thu, 26 Apr 2007 14:24:12 +0200 |
wenzelm |
added header;
|
file |
diff |
annotate
|
| Fri, 07 Oct 2005 22:59:19 +0200 |
wenzelm |
replaced _K by dummy abstraction;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2005 17:38:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2005 21:43:50 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2001 15:42:53 +0200 |
paulson |
renaming of theory LOmega to lomega2 in order to prevent a possible
|
file |
diff |
annotate
|
| Tue, 20 Jan 1998 18:26:26 +0100 |
wenzelm |
reorganized into individual theories;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 19:16:57 +0200 |
wenzelm |
"->" made syntax;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 09:26:00 +0200 |
wenzelm |
syntactic constants;
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 15:01:07 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Tue, 03 May 1994 11:28:51 +0200 |
lcp |
removal of obsolete type-declaration syntax
|
file |
diff |
annotate
|
| Mon, 04 Oct 1993 15:44:29 +0100 |
wenzelm |
replaced id by idt;
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|