src/Sequents/Sequents.thy
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;
Tue, 17 Aug 2010 19:36:38 +0200 haftmann deglobalization
Wed, 03 Mar 2010 00:32:14 +0100 wenzelm adapted to authentic syntax -- actual types are verbatim;
Thu, 25 Feb 2010 22:17:33 +0100 wenzelm explicit @{type_syntax} markup;
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Sun, 18 May 2008 17:03:16 +0200 wenzelm setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
Tue, 07 Aug 2007 20:19:55 +0200 wenzelm turned Unify flags into configuration options (global only);
Wed, 16 Nov 2005 17:45:22 +0100 wenzelm Term.betapply;
Sun, 18 Sep 2005 15:20:08 +0200 wenzelm converted to Isar theory format;
Tue, 01 Jun 2004 12:33:50 +0200 wenzelm removed obsolete sort 'logic';
Fri, 21 May 2004 21:14:18 +0200 wenzelm proper use of 'syntax';
Tue, 03 Aug 1999 13:16:29 +0200 paulson Sara Kalvala: moving the <<...>> notation from LK to Sequents
Wed, 28 Jul 1999 13:52:59 +0200 paulson removed the unused SeqVar option
Tue, 27 Jul 1999 19:02:43 +0200 paulson installation of simplifier and classical reasoner, better rules etc
Fri, 11 Jun 1999 10:35:55 +0200 paulson fixed title line; added spacing
Wed, 09 Oct 1996 13:32:33 +0200 paulson New unified treatment of sequent calculi by Sara Kalvala
less more (0) tip