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
|