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 19039 8eae46249628
parent 18886 9f27383426db
child 19085 a1a251b297dd 
--- a/src/HOL/IsaMakefile	Tue Feb 14 17:07:11 2006 +0100
+++ b/src/HOL/IsaMakefile	Tue Feb 14 17:07:48 2006 +0100
@@ -183,7 +183,7 @@
 
 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \
   Library/SetsAndFunctions.thy Library/BigO.thy \
-  Library/EfficientNat.thy Library/ExecutableSet.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 \
   Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
isabelle