changeset 29993 | 84b2c432b94a |
parent 29987 | 391dcbd7e4dd |
child 29994 | 6ca6b6bd6e15 |
--- a/src/HOL/IsaMakefile Thu Feb 19 09:39:49 2009 -0800 +++ b/src/HOL/IsaMakefile Thu Feb 19 09:42:23 2009 -0800 @@ -315,6 +315,7 @@ Library/Finite_Cartesian_Product.thy \ Library/FrechetDeriv.thy \ Library/Fundamental_Theorem_Algebra.thy \ + Library/Inner_Product.thy \ Library/Library.thy Library/List_Prefix.thy Library/State_Monad.thy \ Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy \ Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy \