Sat, 01 Feb 2014 17:56:03 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
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
|
Tue, 17 Aug 2010 19:36:38 +0200 |
haftmann |
deglobalization
|
file |
diff |
annotate
|
Wed, 03 Mar 2010 00:32:14 +0100 |
wenzelm |
adapted to authentic syntax -- actual types are verbatim;
|
file |
diff |
annotate
|
Thu, 25 Feb 2010 22:17:33 +0100 |
wenzelm |
explicit @{type_syntax} markup;
|
file |
diff |
annotate
|
Thu, 11 Feb 2010 22:19:58 +0100 |
wenzelm |
modernized 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
|
Tue, 07 Aug 2007 20:19:55 +0200 |
wenzelm |
turned Unify flags into configuration options (global only);
|
file |
diff |
annotate
|
Wed, 16 Nov 2005 17:45:22 +0100 |
wenzelm |
Term.betapply;
|
file |
diff |
annotate
|
Sun, 18 Sep 2005 15:20:08 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Tue, 01 Jun 2004 12:33:50 +0200 |
wenzelm |
removed obsolete sort 'logic';
|
file |
diff |
annotate
|
Fri, 21 May 2004 21:14:18 +0200 |
wenzelm |
proper use of 'syntax';
|
file |
diff |
annotate
|
Tue, 03 Aug 1999 13:16:29 +0200 |
paulson |
Sara Kalvala: moving the <<...>> notation from LK to Sequents
|
file |
diff |
annotate
|
Wed, 28 Jul 1999 13:52:59 +0200 |
paulson |
removed the unused SeqVar option
|
file |
diff |
annotate
|
Tue, 27 Jul 1999 19:02:43 +0200 |
paulson |
installation of simplifier and classical reasoner, better rules etc
|
file |
diff |
annotate
|
Fri, 11 Jun 1999 10:35:55 +0200 |
paulson |
fixed title line; added spacing
|
file |
diff |
annotate
|
Wed, 09 Oct 1996 13:32:33 +0200 |
paulson |
New unified treatment of sequent calculi by Sara Kalvala
|
file |
diff |
annotate
|