diff -r 348aed032cda -r 36ffe23b25f8 src/Doc/Classes/Setup.thy
--- a/src/Doc/Classes/Setup.thy	Sat May 25 15:00:53 2013 +0200
+++ b/src/Doc/Classes/Setup.thy	Sat May 25 15:37:53 2013 +0200
@@ -30,10 +30,10 @@
           Ast.Appl [Ast.Constant @{syntax_const "_ofsort"}, Ast.Variable "'b", ast]
       | beta_ofsort_ast_tr asts = raise Ast.AST ("beta_ast_tr", asts);
   in
-   [(@{syntax_const "_alpha"}, alpha_ast_tr),
-    (@{syntax_const "_alpha_ofsort"}, alpha_ofsort_ast_tr),
-    (@{syntax_const "_beta"}, beta_ast_tr),
-    (@{syntax_const "_beta_ofsort"}, beta_ofsort_ast_tr)]
+   [(@{syntax_const "_alpha"}, K alpha_ast_tr),
+    (@{syntax_const "_alpha_ofsort"}, K alpha_ofsort_ast_tr),
+    (@{syntax_const "_beta"}, K beta_ast_tr),
+    (@{syntax_const "_beta_ofsort"}, K beta_ofsort_ast_tr)]
   end
 *}