src/HOL/Library/Mapping.thy
Tue, 07 Sep 2010 10:05:19 +0200 nipkow expand_fun_eq -> ext_iff
Fri, 27 Aug 2010 19:34:23 +0200 haftmann renamed class/constant eq to equal; tuned some instantiations
Fri, 02 Jul 2010 17:27:44 +0200 haftmann explicit code_datatype declaration prevents multiple instantiations later on
Fri, 02 Jul 2010 16:50:53 +0200 haftmann refrain from using datatype declaration -- opens chance for quickcheck later on
Wed, 02 Jun 2010 22:06:14 +0200 haftmann hide default, map_entry, map_default
Mon, 24 May 2010 13:48:57 +0200 haftmann more lemmas
Fri, 21 May 2010 15:22:37 +0200 haftmann more lemmas about mappings, in particular keys
Thu, 20 May 2010 17:29:43 +0200 haftmann operations default, map_entry, map_default; more lemmas
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;
Sun, 11 Apr 2010 16:51:06 +0200 haftmann lemma is_empty_empty
Wed, 17 Feb 2010 16:49:37 +0100 haftmann added ordered_keys
Wed, 17 Feb 2010 09:48:52 +0100 haftmann more close integration with theory Map
Thu, 12 Nov 2009 17:21:51 +0100 hoelzl Remove map_compose, replaced by map_map
Thu, 04 Jun 2009 16:55:20 +0200 haftmann added trees implementing mappings
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Sat, 07 Feb 2009 10:03:09 +0100 haftmann Isar proof
Sat, 07 Feb 2009 09:57:03 +0100 haftmann added bulkload
Sat, 07 Feb 2009 08:37:42 +0100 haftmann added bulkload
Fri, 06 Feb 2009 09:05:19 +0100 haftmann added replace operation
Mon, 02 Feb 2009 13:56:22 +0100 haftmann added Mapping.thy to Library
less more (0) tip