1.1 --- a/src/HOL/HOL.thy	Mon Nov 05 22:49:28 2007 +0100
     1.2 +++ b/src/HOL/HOL.thy	Mon Nov 05 22:50:00 2007 +0100
     1.3 @@ -46,6 +46,8 @@
     1.4    bool :: type
     1.5    "fun" :: (type, type) type
     1.6  
     1.7 +  itself :: (type) type
     1.8 +
     1.9  judgment
    1.10    Trueprop      :: "bool => prop"                   ("(_)" 5)
    1.11