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
|