src/HOL/HOLCF/IsaMakefile
changeset 41284 6d66975b711f
parent 41112 866148b76247
child 41285 efd23c1d9886
     1.1 --- a/src/HOL/HOLCF/IsaMakefile	Fri Dec 17 23:18:39 2010 +0100
     1.2 +++ b/src/HOL/HOLCF/IsaMakefile	Fri Dec 17 16:43:45 2010 -0800
     1.3 @@ -39,7 +39,7 @@
     1.4    Algebraic.thy \
     1.5    Bifinite.thy \
     1.6    Cfun.thy \
     1.7 -  CompactBasis.thy \
     1.8 +  Compact_Basis.thy \
     1.9    Completion.thy \
    1.10    Cont.thy \
    1.11    ConvexPD.thy \