src/HOL/HOLCF/IsaMakefile
changeset 43524 d75e285fcf3e
parent 41286 3d7685a4a5ff
child 43919 a7e4fb1a0502
     1.1 --- a/src/HOL/HOLCF/IsaMakefile	Wed Jun 22 16:35:31 2011 +0200
     1.2 +++ b/src/HOL/HOLCF/IsaMakefile	Wed Jun 22 13:30:28 2011 -0700
     1.3 @@ -135,6 +135,7 @@
     1.4  
     1.5  $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF \
     1.6    ../Library/Nat_Infinity.thy \
     1.7 +  ex/Concurrency_Monad.thy \
     1.8    ex/Dagstuhl.thy \
     1.9    ex/Dnat.thy \
    1.10    ex/Domain_Proofs.thy \