src/HOL/Main.thy
changeset 55128 6e16d2dd4f14
parent 55087 252c7fec4119
child 55534 b18bdcbda41b
     1.1 --- a/src/HOL/Main.thy	Thu Jan 23 16:09:28 2014 +0100
     1.2 +++ b/src/HOL/Main.thy	Thu Jan 23 19:02:22 2014 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4    convol ("<_ , _>")
     1.5  
     1.6  hide_const (open)
     1.7 +  czero cinfinite cfinite csum cone ctwo Csum cprod cexp
     1.8    image2 image2p vimage2p Gr Grp collect fsts snds setl setr
     1.9    convol pick_middlep fstOp sndOp csquare inver relImage relInvImage
    1.10    prefCl PrefCl Succ Shift shift proj