src/HOL/Bali/Basis.thy
Thu, 28 Feb 2013 13:24:51 +0100 wenzelm marginalized historic strip_tac;
Sat, 15 Oct 2011 20:40:13 +0200 wenzelm misc tuning and modernization;
Tue, 02 Aug 2011 10:36:50 +0200 krauss moved recdef package to HOL/Library/Old_Recdef.thy
Tue, 02 Aug 2011 10:03:12 +0200 krauss eliminated obsolete recdef/wfrec related declarations
Mon, 26 Jul 2010 17:41:26 +0200 wenzelm modernized/unified some specifications;
Fri, 16 Apr 2010 21:28:09 +0200 wenzelm replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
Wed, 03 Mar 2010 00:33:02 +0100 wenzelm cleanup type translations;
Mon, 01 Mar 2010 13:42:31 +0100 haftmann merged
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Wed, 24 Feb 2010 22:09:50 +0100 wenzelm modernized syntax declarations, and make them actually work with authentic syntax;
Wed, 10 Feb 2010 00:45:16 +0100 wenzelm modernized syntax translations, using mostly abbreviation/notation;
Sun, 10 Jan 2010 18:43:45 +0100 berghofe Adapted to changes in induct method.
Fri, 27 Nov 2009 08:42:50 +0100 haftmann Inl and Inr now with authentic syntax
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Fri, 14 Aug 2009 21:28:58 +0200 krauss reverted accidential corruption of superscripts introduced in a508148f7c25
Thu, 13 Aug 2009 17:19:42 +0100 paulson Removal of redundant settings of unification trace and search bounds.
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;
Wed, 04 Mar 2009 10:47:20 +0100 nipkow Made Option a separate theory and renamed option_map to Option.map
Mon, 16 Jun 2008 22:13:39 +0200 wenzelm pervasive RuleInsts;
Mon, 16 Jun 2008 17:54:36 +0200 wenzelm sum3_instantiate: proper context;
Wed, 11 Jun 2008 18:02:00 +0200 wenzelm Drule.read_instantiate;
Thu, 20 Mar 2008 12:01:11 +0100 haftmann tuned proof
Thu, 09 Aug 2007 15:52:42 +0200 haftmann re-eliminated Option.thy
Tue, 07 Aug 2007 20:19:55 +0200 wenzelm turned Unify flags into configuration options (global only);
Tue, 07 Aug 2007 09:38:44 +0200 haftmann split off theory Option for benefit of code generator
Sun, 29 Jul 2007 14:29:52 +0200 wenzelm replaced make_imp by rev_mp;
Sat, 28 Jul 2007 20:40:22 +0200 wenzelm tuned ML/simproc declarations;
Tue, 24 Apr 2007 15:17:22 +0200 berghofe sum_case is now authentic.
Wed, 11 Apr 2007 08:28:14 +0200 haftmann tuned
Wed, 04 Apr 2007 00:11:03 +0200 wenzelm removed obsolete sign_of/sign_of_thm;
Sun, 12 Nov 2006 21:14:51 +0100 wenzelm removed dead code;
Thu, 23 Mar 2006 20:03:53 +0100 nipkow Converted translations to abbbreviations.
Wed, 04 Jan 2006 19:22:53 +0100 nipkow Reversed Larry's option/iff change.
Wed, 21 Dec 2005 12:02:57 +0100 paulson removed or modified some instances of [iff]
Mon, 17 Oct 2005 23:10:13 +0200 wenzelm change_claset/simpset;
Fri, 07 Oct 2005 22:59:23 +0200 wenzelm removed obsolete dummy_pat_tr;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 31 May 2005 11:53:12 +0200 wenzelm tuned;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Mon, 17 Mar 2003 18:38:50 +0100 nipkow just a few mods to a few thms
Thu, 31 Oct 2002 18:27:10 +0100 schirmer "Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.
Tue, 06 Aug 2002 11:22:05 +0200 wenzelm sane interface for simprocs;
Fri, 22 Feb 2002 11:26:44 +0100 schirmer Added check for field/method access to operational semantics and proved the acesses valid.
Thu, 21 Feb 2002 20:09:19 +0100 wenzelm removed theory Option;
Fri, 15 Feb 2002 20:41:39 +0100 wenzelm replaced nodups by distinct;
Mon, 28 Jan 2002 23:35:20 +0100 wenzelm tuned;
Mon, 28 Jan 2002 18:51:48 +0100 wenzelm GPLed;
Mon, 28 Jan 2002 18:50:23 +0100 wenzelm tuned header;
Mon, 28 Jan 2002 17:00:19 +0100 schirmer Isabelle/Bali sources;
less more (0) tip