src/HOL/Library/Library.thy
changeset 30018 690c65b8ad1a
parent 29994 6ca6b6bd6e15
child 30019 a2f19e0a28b2
     1.1 --- a/src/HOL/Library/Library.thy	Fri Feb 20 14:49:39 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Feb 20 07:41:41 2009 -0800
     1.3 @@ -41,6 +41,7 @@
     1.4    Poly_Deriv
     1.5    Polynomial
     1.6    Primes
     1.7 +  Product_plus
     1.8    Quickcheck
     1.9    Quicksort
    1.10    Quotient