adapted to renaming of 'Projl' and 'Projr'
authorblanchet
Wed Feb 12 08:37:28 2014 +0100 (2014-02-12)
changeset 554189f25e0cca254
parent 55417 01fbfb60c33e
child 55419 8b7c7157fa11
adapted to renaming of 'Projl' and 'Projr'
src/Doc/Codegen/Evaluation.thy
     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