Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adapted to renaming of 'Projl' and 'Projr'
authorblanchet
Wed, 12 Feb 2014 08:37:28 +0100
changeset 55418 9f25e0cca254
parent 55417 01fbfb60c33e
child 55419 8b7c7157fa11
adapted to renaming of 'Projl' and 'Projr'
src/Doc/Codegen/Evaluation.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:06 2014 +0100
+++ b/src/Doc/Codegen/Evaluation.thy	Wed Feb 12 08:37:28 2014 +0100
@@ -296,7 +296,7 @@
 
 code_reflect %quote Sum_Type
   datatypes sum = Inl | Inr
-  functions "Sum_Type.Projl" "Sum_Type.Projr"
+  functions "Sum_Type.sum.projl" "Sum_Type.sum.projr"
 
 text {*
   \noindent @{command_def code_reflect} takes a structure name and
isabelle