src/HOL/Library/Mapping.thy
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