1.1 --- a/src/HOL/Metis_Examples/Type_Encodings.thy	Tue Mar 20 13:53:09 2012 +0100
     1.2 +++ b/src/HOL/Metis_Examples/Type_Encodings.thy	Tue Mar 20 13:53:09 2012 +0100
     1.3 @@ -27,10 +27,10 @@
     1.4     "poly_guards",
     1.5     "poly_guards?",
     1.6     "poly_guards??",
     1.7 -   "poly_guards@?",
     1.8 +   (* "poly_guards@?", *)
     1.9     "poly_guards!",
    1.10     "poly_guards!!",
    1.11 -   "poly_guards@!",
    1.12 +   (* "poly_guards@!", *)
    1.13     "poly_tags",
    1.14     "poly_tags?",
    1.15     "poly_tags??",