--- 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
@@ -34,8 +34,10 @@
"poly_tags",
"poly_tags?",
"poly_tags??",
+ "poly_tags@?",
"poly_tags!",
"poly_tags!!",
+ "poly_tags@!",
"poly_args",
"raw_mono_guards",
"raw_mono_guards?",
@@ -47,8 +49,10 @@
"raw_mono_tags",
"raw_mono_tags?",
"raw_mono_tags??",
+ "raw_mono_tags@?",
"raw_mono_tags!",
"raw_mono_tags!!",
+ "raw_mono_tags@!",
"raw_mono_args",
"mono_guards",
"mono_guards?",