src/HOLCF/ex/Domain_ex.thy
changeset 35642 f478d5a9d238
parent 35585 555f26f00e47
child 35661 ede27eb8e94b
     1.1 --- a/src/HOLCF/ex/Domain_ex.thy	Sun Mar 07 16:12:01 2010 -0800
     1.2 +++ b/src/HOLCF/ex/Domain_ex.thy	Sun Mar 07 16:39:31 2010 -0800
     1.3 @@ -166,7 +166,7 @@
     1.4  thm tree.chain_take
     1.5  thm tree.take_take
     1.6  thm tree.deflation_take
     1.7 -thm tree.take_lemmas
     1.8 +thm tree.take_lemma
     1.9  thm tree.lub_take
    1.10  thm tree.reach
    1.11  thm tree.finite_ind