changeset 32833 | f3716d1a2e48 |
parent 30227 | 853abb4853cc |
child 34071 | 93bfbb557e2e |
--- a/doc-src/Codegen/Thy/Setup.thy Thu Oct 01 18:59:26 2009 +0200 +++ b/doc-src/Codegen/Thy/Setup.thy Thu Oct 01 20:04:44 2009 +0200 @@ -10,6 +10,6 @@ "~~/src/HOL/Decision_Procs/Ferrack"] *} ML_command {* Code_Target.code_width := 74 *} -ML_command {* reset unique_names *} +ML_command {* Unsynchronized.reset unique_names *} end