--- a/doc-src/Codegen/Thy/Setup.thy Fri Aug 27 12:57:55 2010 +0200
+++ b/doc-src/Codegen/Thy/Setup.thy Fri Aug 27 14:07:09 2010 +0200
@@ -27,6 +27,6 @@
setup {* Code_Target.set_default_code_width 74 *}
-ML_command {* Unsynchronized.reset unique_names *}
+ML_command {* unique_names := false *}
end