src/HOLCF/IsaMakefile
changeset 35167 eba22d68a0a7
parent 33813 0bc8d4f786bd
child 35214 67689d276c70
     1.1 --- a/src/HOLCF/IsaMakefile	Wed Feb 17 13:48:13 2010 +0100
     1.2 +++ b/src/HOLCF/IsaMakefile	Wed Feb 17 08:05:16 2010 -0800
     1.3 @@ -95,6 +95,7 @@
     1.4    ex/Dagstuhl.thy \
     1.5    ex/Dnat.thy \
     1.6    ex/Domain_ex.thy \
     1.7 +  ex/Domain_Proofs.thy \
     1.8    ex/Fix2.thy \
     1.9    ex/Fixrec_ex.thy \
    1.10    ex/Focus_ex.thy \
    1.11 @@ -103,6 +104,7 @@
    1.12    ex/New_Domain.thy \
    1.13    ex/Powerdomain_ex.thy \
    1.14    ex/Stream.thy \
    1.15 +  ex/Strict_Fun.thy \
    1.16    ex/ROOT.ML
    1.17  	@$(ISABELLE_TOOL) usedir $(OUT)/HOLCF ex
    1.18