src/HOL/Library/Mapping.thy
2010-02-17 haftmann 2010-02-17 added ordered_keys
2010-02-17 haftmann 2010-02-17 more close integration with theory Map
2009-11-12 hoelzl 2009-11-12 Remove map_compose, replaced by map_map
2009-06-04 haftmann 2009-06-04 added trees implementing mappings
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-02-07 haftmann 2009-02-07 Isar proof
2009-02-07 haftmann 2009-02-07 added bulkload
2009-02-07 haftmann 2009-02-07 added bulkload
2009-02-06 haftmann 2009-02-06 added replace operation
2009-02-02 haftmann 2009-02-02 added Mapping.thy to Library