--- a/src/HOLCF/Fixrec.thy Mon Apr 10 00:33:54 2006 +0200
+++ b/src/HOLCF/Fixrec.thy Mon Apr 10 00:34:46 2006 +0200
@@ -544,9 +544,6 @@
use "fixrec_package.ML"
-setup {*
- Theory.hide_consts_i false
- ["Fixrec.return", "Fixrec.bind", "Fixrec.fail"]
-*}
+hide (open) const return bind fail
end