--- a/src/HOL/Metis_Examples/Type_Encodings.thy Wed Sep 07 21:31:21 2011 +0200
+++ b/src/HOL/Metis_Examples/Type_Encodings.thy Wed Sep 07 21:31:21 2011 +0200
@@ -27,8 +27,10 @@
"poly_guards",
"poly_guards?",
"poly_guards??",
+ "poly_guards@?",
"poly_guards!",
"poly_guards!!",
+ "poly_guards@!",
"poly_tags",
"poly_tags?",
"poly_tags??",
@@ -38,8 +40,10 @@
"raw_mono_guards",
"raw_mono_guards?",
"raw_mono_guards??",
+ "raw_mono_guards@?",
"raw_mono_guards!",
"raw_mono_guards!!",
+ "raw_mono_guards@!",
"raw_mono_tags",
"raw_mono_tags?",
"raw_mono_tags??",