src/HOL/Library/Library.thy
changeset 29993 84b2c432b94a
parent 29987 391dcbd7e4dd
child 29994 6ca6b6bd6e15
     1.1 --- a/src/HOL/Library/Library.thy	Thu Feb 19 09:39:49 2009 -0800
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Feb 19 09:42:23 2009 -0800
     1.3 @@ -26,6 +26,7 @@
     1.4    FuncSet
     1.5    Fundamental_Theorem_Algebra
     1.6    Infinite_Set
     1.7 +  Inner_Product
     1.8    ListVector
     1.9    Mapping
    1.10    Multiset