| changeset 55128 | 6e16d2dd4f14 |
| parent 55087 | 252c7fec4119 |
| child 55534 | b18bdcbda41b |
--- a/src/HOL/Main.thy Thu Jan 23 16:09:28 2014 +0100 +++ b/src/HOL/Main.thy Thu Jan 23 19:02:22 2014 +0100 @@ -29,6 +29,7 @@ convol ("<_ , _>") hide_const (open) + czero cinfinite cfinite csum cone ctwo Csum cprod cexp 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