src/Doc/Codegen/Further.thy
changeset 55372 3662c44d018c
parent 52665 5f817bad850a
child 55757 9fc71814b8c1
     1.1 --- a/src/Doc/Codegen/Further.thy	Sun Feb 09 19:10:12 2014 +0000
     1.2 +++ b/src/Doc/Codegen/Further.thy	Sun Feb 09 21:37:27 2014 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4    rather than function definitions are always curried.
     1.5  
     1.6    The second aspect affects user-defined adaptations with @{command
     1.7 -  code_const}.  For regular terms, the @{text Scala} serializer prints
     1.8 +  code_printing}.  For regular terms, the @{text Scala} serializer prints
     1.9    all type arguments explicitly.  For user-defined term adaptations
    1.10    this is only possible for adaptations which take no arguments: here
    1.11    the type arguments are just appended.  Otherwise they are ignored;