Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added dependency of Library on Pocklington.thy
authorchaieb
Mon, 25 Feb 2008 12:05:58 +0100
changeset 26127 70ef56eb650a
parent 26126 f536ac0f92ca
child 26128 fe2d24c26e0c
Added dependency of Library on Pocklington.thy
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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\
isabelle