doc-src/Codegen/Thy/Program.thy
changeset 31254 03a35fbc9dc6
parent 30938 c6c9359e474c
child 32000 6f07563dc8a9
     1.1 --- a/doc-src/Codegen/Thy/Program.thy	Mon May 25 22:14:59 2009 -0700
     1.2 +++ b/doc-src/Codegen/Thy/Program.thy	Tue May 26 12:31:01 2009 +0200
     1.3 @@ -204,7 +204,7 @@
     1.4    interface.
     1.5  
     1.6    \noindent The current setup of the preprocessor may be inspected using
     1.7 -  the @{command print_codesetup} command.
     1.8 +  the @{command print_codeproc} command.
     1.9    @{command code_thms} provides a convenient
    1.10    mechanism to inspect the impact of a preprocessor setup
    1.11    on code equations.