# HG changeset patch
# User chaieb
# Date 1203937558 -3600
# Node ID 70ef56eb650a0bf6fdccbb40c7f28e638bf92541
# Parent  f536ac0f92ca3173d4c6c35529fec2d156beb9fb
Added dependency of Library on Pocklington.thy

diff -r f536ac0f92ca -r 70ef56eb650a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Feb 25 12:04:09 2008 +0100
+++ b/src/HOL/IsaMakefile	Mon Feb 25 12:05:58 2008 +0100
@@ -218,8 +218,8 @@
   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\