src/HOL/Main.thy
changeset 56237 69a9dfe71aed
parent 56048 d311c6377e08
child 57208 5bf2a5c498c2
     1.1 --- a/src/HOL/Main.thy	Thu Mar 20 23:38:34 2014 +0100
     1.2 +++ b/src/HOL/Main.thy	Fri Mar 21 08:13:23 2014 +0100
     1.3 @@ -31,7 +31,7 @@
     1.4  hide_const (open)
     1.5    czero cinfinite cfinite csum cone ctwo Csum cprod cexp
     1.6    image2 image2p vimage2p Gr Grp collect fsts snds setl setr
     1.7 -  convol pick_middlep fstOp sndOp csquare inver relImage relInvImage
     1.8 +  convol pick_middlep fstOp sndOp csquare relImage relInvImage
     1.9    Succ Shift shift proj
    1.10  
    1.11  no_syntax (xsymbols)