src/HOL/UNITY/Simple/NSP_Bad.thy
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Thu, 12 May 2011 18:18:06 +0200 wenzelm prefer Proof.context over old-style clasimpset;
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
Thu, 22 Jul 2010 18:08:39 +0200 wenzelm updated some headers;
Wed, 12 May 2010 16:44:49 +0200 wenzelm modernized specifications;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Thu, 23 Jul 2009 18:44:09 +0200 wenzelm renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
Mon, 16 Mar 2009 18:24:30 +0100 wenzelm simplified method setup;
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators;
Tue, 07 Aug 2007 20:43:36 +0200 wenzelm fixed imports from ../../Auth;
Fri, 03 Aug 2007 20:19:41 +0200 wenzelm misc cleanup of ML bindings (for multihreading);
Fri, 01 Dec 2006 17:22:28 +0100 haftmann stripped some legacy bindings
Wed, 29 Nov 2006 15:44:51 +0100 wenzelm simplified method setup;
Tue, 03 Jan 2006 15:43:54 +0100 paulson added explicit paths to required theories
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sun, 11 Jul 2004 20:33:22 +0200 wenzelm local_cla/simpset_of;
Tue, 23 Sep 2003 15:49:17 +0200 paulson conversion of NSP_Bad to Isar script
Sat, 08 Feb 2003 16:05:33 +0100 paulson converting HOL/UNITY to use unconditional fairness
Thu, 30 Jan 2003 18:08:09 +0100 paulson conversion of UNITY theories to new-style
Mon, 05 Mar 2001 15:47:11 +0100 paulson reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
less more (0) tip