src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Feb 02 13:56:22 2009 +0100
+++ b/src/HOL/Library/Library.thy	Mon Feb 02 13:56:22 2009 +0100
@@ -24,6 +24,7 @@
   FuncSet
   Infinite_Set
   ListVector
+  Mapping
   Multiset
   Nat_Infinity
   Nested_Environment