src/Sequents/Sequents.thy
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Sat, 10 Oct 2015 20:54:44 +0200 wenzelm more symbols;
Sat, 10 Oct 2015 20:51:39 +0200 wenzelm more symbols;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sat, 01 Feb 2014 17:56:03 +0100 wenzelm misc tuning and modernization;
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Fri, 17 Dec 2010 17:43:54 +0100 wenzelm replaced command 'nonterminals' by slightly modernized version 'nonterminal';
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