1.1 --- a/src/HOL/Metis_Examples/Type_Encodings.thy	Wed Sep 07 21:31:21 2011 +0200
     1.2 +++ b/src/HOL/Metis_Examples/Type_Encodings.thy	Wed Sep 07 21:31:21 2011 +0200
     1.3 @@ -27,8 +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_tags",
    1.12     "poly_tags?",
    1.13     "poly_tags??",
    1.14 @@ -38,8 +40,10 @@
    1.15     "raw_mono_guards",
    1.16     "raw_mono_guards?",
    1.17     "raw_mono_guards??",
    1.18 +   "raw_mono_guards@?",
    1.19     "raw_mono_guards!",
    1.20     "raw_mono_guards!!",
    1.21 +   "raw_mono_guards@!",
    1.22     "raw_mono_tags",
    1.23     "raw_mono_tags?",
    1.24     "raw_mono_tags??",