src/Doc/Codegen/Evaluation.thy
changeset 55418 9f25e0cca254
parent 52287 7e54c4d964e7
child 56927 4044a7d1720f
     1.1 --- a/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:06 2014 +0100
     1.2 +++ b/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:28 2014 +0100
     1.3 @@ -296,7 +296,7 @@
     1.4  
     1.5  code_reflect %quote Sum_Type
     1.6    datatypes sum = Inl | Inr
     1.7 -  functions "Sum_Type.Projl" "Sum_Type.Projr"
     1.8 +  functions "Sum_Type.sum.projl" "Sum_Type.sum.projr"
     1.9  
    1.10  text {*
    1.11    \noindent @{command_def code_reflect} takes a structure name and