src/HOL/IsaMakefile

   Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \
   Library/Efficient_Nat.thy Library/Executable_Set.thy \
   Library/Infinite_Set.thy \
   Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy \
-  Library/NatPair.thy \
-  Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
+  Library/NatPair.thy Library/Permutation.thy \
+  Library/Primes.thy Library/Pocklington.thy Library/Quotient.thy \
   Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Zorn.thy\
   Library/Library/ROOT.ML Library/Library/document/root.tex \
   Library/Library/document/root.bib Library/While_Combinator.thy \