hide (open) const;
authorwenzelm
Mon Apr 10 00:34:46 2006 +0200 (2006-04-10)
changeset 193960592ea0c68a0
parent 19395 edf92521e8d3
child 19397 524f1cb4652a
hide (open) const;
src/HOLCF/Fixrec.thy
     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