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 41112 866148b76247
parent 41087 d7b5fd465198
child 41144 509e51b7509a 
--- a/src/HOL/IsaMakefile	Sat Dec 11 11:26:37 2010 -0800
+++ b/src/HOL/IsaMakefile	Sat Dec 11 21:27:53 2010 -0800
@@ -1471,7 +1471,14 @@
 
 $(LOG)/HOLCF-Library.gz: $(OUT)/HOLCF \
   HOLCF/Library/Defl_Bifinite.thy \
+  HOLCF/Library/Bool_Discrete.thy \
+  HOLCF/Library/Char_Discrete.thy \
+  HOLCF/Library/HOL_Cpo.thy \
+  HOLCF/Library/Int_Discrete.thy \
   HOLCF/Library/List_Cpo.thy \
+  HOLCF/Library/List_Predomain.thy \
+  HOLCF/Library/Nat_Discrete.thy \
+  HOLCF/Library/Option_Cpo.thy \
   HOLCF/Library/Stream.thy \
   HOLCF/Library/Sum_Cpo.thy \
   HOLCF/Library/HOLCF_Library.thy \
isabelle