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 16908 d374530bfaaa
parent 16873 9ed940a1bebb
child 17011 08f8408853e3 
--- a/src/HOL/IsaMakefile	Mon Jul 25 15:51:30 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 25 18:54:49 2005 +0200
@@ -176,6 +176,7 @@
 HOL-Library: HOL $(LOG)/HOL-Library.gz
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
+  Library/SetsAndFunctions.thy Library/BigO.thy \
   Library/EfficientNat.thy Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
   Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
isabelle