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 19944 60e0cbeae3d8
parent 19839 1704c66e5e7e
child 19997 fe69952f09f6 
--- a/src/HOL/IsaMakefile	Thu Jun 22 18:48:25 2006 +0200
+++ b/src/HOL/IsaMakefile	Fri Jun 23 09:55:01 2006 +0200
@@ -199,7 +199,7 @@
 HOL-Library: HOL $(LOG)/HOL-Library.gz
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL \
-  Library/SetsAndFunctions.thy Library/BigO.thy \
+  Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \
   Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \
   Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \
isabelle