diff -r c8673078f915 -r 92715b528e78 src/FOLP/IFOLP.thy
--- a/src/FOLP/IFOLP.thy	Mon May 02 13:29:47 2011 +0200
+++ b/src/FOLP/IFOLP.thy	Mon May 02 16:33:21 2011 +0200
@@ -69,8 +69,7 @@
 *}
 
 (*show_proofs = true displays the proof terms -- they are ENORMOUS*)
-ML {* val (show_proofs, setup_show_proofs) = Attrib.config_bool "show_proofs" (K false) *}
-setup setup_show_proofs
+ML {* val show_proofs = Attrib.setup_config_bool @{binding show_proofs} (K false) *}
 
 print_translation (advanced) {*
   let