src/HOL/HOLCF/IsaMakefile
changeset 43919 a7e4fb1a0502
parent 43524 d75e285fcf3e
child 45860 93eda35a8377
     1.1 --- a/src/HOL/HOLCF/IsaMakefile	Tue Jul 19 11:15:38 2011 +0200
     1.2 +++ b/src/HOL/HOLCF/IsaMakefile	Tue Jul 19 14:35:44 2011 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4  HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz
     1.5  
     1.6  $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF \
     1.7 -  ../Library/Nat_Infinity.thy \
     1.8 +  ../Library/Extended_Nat.thy \
     1.9    ex/Concurrency_Monad.thy \
    1.10    ex/Dagstuhl.thy \
    1.11    ex/Dnat.thy \