changeset 35167 | eba22d68a0a7 |
parent 33813 | 0bc8d4f786bd |
child 35214 | 67689d276c70 |
--- a/src/HOLCF/IsaMakefile Wed Feb 17 13:48:13 2010 +0100 +++ b/src/HOLCF/IsaMakefile Wed Feb 17 08:05:16 2010 -0800 @@ -95,6 +95,7 @@ ex/Dagstuhl.thy \ ex/Dnat.thy \ ex/Domain_ex.thy \ + ex/Domain_Proofs.thy \ ex/Fix2.thy \ ex/Fixrec_ex.thy \ ex/Focus_ex.thy \ @@ -103,6 +104,7 @@ ex/New_Domain.thy \ ex/Powerdomain_ex.thy \ ex/Stream.thy \ + ex/Strict_Fun.thy \ ex/ROOT.ML @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF ex