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