changeset 52731 | dacd47a0633f |
parent 52719 | 480a3479fa47 |
child 53124 | 9ae9bbaccee1 |
--- a/src/HOL/BNF/BNF.thy Thu Jul 25 12:25:07 2013 +0200 +++ b/src/HOL/BNF/BNF.thy Thu Jul 25 16:46:53 2013 +0200 @@ -13,7 +13,7 @@ imports More_BNFs begin -hide_const (open) vimagep Gr Grp collect fsts snds setl setr +hide_const (open) image2 image2p vimage2p Gr Grp collect fsts snds setl setr convol thePull pick_middlep fstOp sndOp csquare inver image2 relImage relInvImage prefCl PrefCl Succ Shift shift