changeset 55069 | b3e44be90122 |
parent 55067 | a452de24a877 |
child 55078 | 558c9ceabaa1 |
--- a/src/HOL/Main.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/Main.thy Mon Jan 20 18:24:56 2014 +0100 @@ -11,6 +11,11 @@ text {* See further \cite{Nipkow-et-al:2002:tutorial} *} +hide_const (open) + image2 image2p vimage2p Gr Grp collect fsts snds setl setr + convol pick_middlep fstOp sndOp csquare inver relImage relInvImage + prefCl PrefCl Succ Shift shift proj + no_notation bot ("\<bottom>") and top ("\<top>") and