src/HOL/Library/Library.thy
changeset 29708 e40b70d38909
parent 29688 6ed9ac8410d8
child 29806 bebe5a254ba6
     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 02 13:56:22 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 02 13:56:22 2009 +0100
     1.3 @@ -24,6 +24,7 @@
     1.4    FuncSet
     1.5    Infinite_Set
     1.6    ListVector
     1.7 +  Mapping
     1.8    Multiset
     1.9    Nat_Infinity
    1.10    Nested_Environment