src/HOL/HOLCF/IsaMakefile
changeset 41285 efd23c1d9886
parent 41284 6d66975b711f
child 41286 3d7685a4a5ff
     1.1 --- a/src/HOL/HOLCF/IsaMakefile	Fri Dec 17 16:43:45 2010 -0800
     1.2 +++ b/src/HOL/HOLCF/IsaMakefile	Sun Dec 19 04:06:02 2010 -0800
     1.3 @@ -37,7 +37,6 @@
     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 \
    1.11 @@ -62,6 +61,7 @@
    1.12    Porder.thy \
    1.13    Powerdomains.thy \
    1.14    Product_Cpo.thy \
    1.15 +  Representable.thy \
    1.16    Sfun.thy \
    1.17    Sprod.thy \
    1.18    Ssum.thy \