changeset 41284 | 6d66975b711f |
parent 41144 | 509e51b7509a |
child 41285 | efd23c1d9886 |
--- a/src/HOL/IsaMakefile Fri Dec 17 23:18:39 2010 +0100 +++ b/src/HOL/IsaMakefile Fri Dec 17 16:43:45 2010 -0800 @@ -1406,7 +1406,7 @@ HOLCF/Algebraic.thy \ HOLCF/Bifinite.thy \ HOLCF/Cfun.thy \ - HOLCF/CompactBasis.thy \ + HOLCF/Compact_Basis.thy \ HOLCF/Completion.thy \ HOLCF/Cont.thy \ HOLCF/ConvexPD.thy \