--- a/doc-src/Codegen/Thy/Setup.thy Sat Apr 16 12:46:18 2011 +0200
+++ b/doc-src/Codegen/Thy/Setup.thy Sat Apr 16 13:48:45 2011 +0200
@@ -22,6 +22,6 @@
setup {* Code_Target.set_default_code_width 74 *}
-ML_command {* unique_names := false *}
+declare [[unique_names = false]]
end