src/HOL/HOLCF/Plain_HOLCF.thy
changeset 60040 1fa1023b13b9
parent 58880 0baae4311a9f
child 62175 8ffc4d0e652d
     1.1 --- a/src/HOL/HOLCF/Plain_HOLCF.thy	Sun Apr 12 11:33:50 2015 +0200
     1.2 +++ b/src/HOL/HOLCF/Plain_HOLCF.thy	Sun Apr 12 11:34:09 2015 +0200
     1.3 @@ -12,4 +12,6 @@
     1.4    Basic HOLCF concepts and types; does not include definition packages.
     1.5  *}
     1.6  
     1.7 +hide_const (open) Filter.principal
     1.8 +
     1.9  end