src/HOLCF/Fixrec.thy
changeset 19396 0592ea0c68a0
parent 19327 4565e230e6eb
child 19439 27c2e4cd634b
     1.1 --- a/src/HOLCF/Fixrec.thy	Mon Apr 10 00:33:54 2006 +0200
     1.2 +++ b/src/HOLCF/Fixrec.thy	Mon Apr 10 00:34:46 2006 +0200
     1.3 @@ -544,9 +544,6 @@
     1.4  
     1.5  use "fixrec_package.ML"
     1.6  
     1.7 -setup {*
     1.8 -  Theory.hide_consts_i false
     1.9 -    ["Fixrec.return", "Fixrec.bind", "Fixrec.fail"]
    1.10 -*}
    1.11 +hide (open) const return bind fail
    1.12  
    1.13  end