src/HOL/Main.thy

--- a/src/HOL/Main.thy	Thu Mar 20 23:38:34 2014 +0100
+++ b/src/HOL/Main.thy	Fri Mar 21 08:13:23 2014 +0100
@@ -31,7 +31,7 @@
 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
+  convol pick_middlep fstOp sndOp csquare relImage relInvImage
   Succ Shift shift proj
 
 no_syntax (xsymbols)