--- a/src/HOL/Library/Library.thy Thu Feb 19 09:39:49 2009 -0800 +++ b/src/HOL/Library/Library.thy Thu Feb 19 09:42:23 2009 -0800 @@ -26,6 +26,7 @@ FuncSet Fundamental_Theorem_Algebra Infinite_Set + Inner_Product ListVector Mapping Multiset