Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 11363 a548865b1b6a
parent 11362 2511e48c5324
child 11370 680946254afe 
--- a/src/HOL/IsaMakefile	Fri Jun 08 08:50:08 2001 +0200
+++ b/src/HOL/IsaMakefile	Sat Jun 09 08:41:25 2001 +0200
@@ -181,7 +181,8 @@
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
   Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \
-  Library/Permutation.thy Library/Quotient.thy Library/Ring_and_Field.thy \
+  Library/Permutation.thy Library/Primes.thy \
+  Library/Quotient.thy Library/Ring_and_Field.thy \
   Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Rational_Numbers.thy Library/ROOT.ML \
@@ -241,7 +242,7 @@
 HOL-NumberTheory: HOL $(LOG)/HOL-NumberTheory.gz
 
 $(LOG)/HOL-NumberTheory.gz: $(OUT)/HOL \
-  Library/Permutation.thy NumberTheory/Fib.thy NumberTheory/Primes.thy \
+  Library/Permutation.thy Library/Primes.thy NumberTheory/Fib.thy \
   NumberTheory/Factorization.thy NumberTheory/BijectionRel.thy \
   NumberTheory/Chinese.thy NumberTheory/EulerFermat.thy \
   NumberTheory/IntFact.thy NumberTheory/IntPrimes.thy \
isabelle