# HG changeset patch
# User wenzelm
# Date 1144622086 -7200
# Node ID 0592ea0c68a0d24aaa6a0b9ee8308ca3bf88493e
# Parent  edf92521e8d39961389122f3a7196986b33ec325
hide (open) const;

diff -r edf92521e8d3 -r 0592ea0c68a0 src/HOLCF/Fixrec.thy
--- 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