src/HOL/Library/Library.thy
changeset 31060 75d7c7cc8bdb
parent 30326 a01b2de0e3e1
child 31117 527ba4a37843
     1.1 --- a/src/HOL/Library/Library.thy	Thu May 07 12:02:16 2009 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu May 07 12:17:17 2009 +0200
     1.3 @@ -42,6 +42,7 @@
     1.4    Pocklington
     1.5    Poly_Deriv
     1.6    Polynomial
     1.7 +  Preorder
     1.8    Primes
     1.9    Product_Vector
    1.10    Quickcheck