src/HOL/Library/Library.thy
changeset 28668 e79e196039a1
parent 28228 7ebe8dc06cbb
child 28952 15a4b2cf8c34
     1.1 --- a/src/HOL/Library/Library.thy	Wed Oct 22 21:25:00 2008 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Oct 23 00:24:31 2008 +0200
     1.3 @@ -33,6 +33,7 @@
     1.4    OptionalSugar
     1.5    Option_ord
     1.6    Permutation
     1.7 +  Pocklington
     1.8    Primes
     1.9    Quicksort
    1.10    Quotient