src/HOL/HOLCF/IsaMakefile
changeset 41286 3d7685a4a5ff
parent 41285 efd23c1d9886
child 43524 d75e285fcf3e
     1.1 --- a/src/HOL/HOLCF/IsaMakefile	Sun Dec 19 04:06:02 2010 -0800
     1.2 +++ b/src/HOL/HOLCF/IsaMakefile	Sun Dec 19 05:15:31 2010 -0800
     1.3 @@ -37,6 +37,7 @@
     1.4    ROOT.ML \
     1.5    Adm.thy \
     1.6    Algebraic.thy \
     1.7 +  Bifinite.thy \
     1.8    Cfun.thy \
     1.9    Compact_Basis.thy \
    1.10    Completion.thy \