src/Doc/Codegen/Evaluation.thy
changeset 63175 d191892b1c23
parent 63161 2660ba498798
child 63670 8e0148e1f5f4
     1.1 --- a/src/Doc/Codegen/Evaluation.thy	Sun May 29 14:43:17 2016 +0200
     1.2 +++ b/src/Doc/Codegen/Evaluation.thy	Sun May 29 14:43:18 2016 +0200
     1.3 @@ -344,7 +344,7 @@
     1.4  \<close>
     1.5  
     1.6  code_reflect %quote Rat
     1.7 -  datatypes rat = Frct
     1.8 +  datatypes rat
     1.9    functions Fract
    1.10      "(plus :: rat \<Rightarrow> rat \<Rightarrow> rat)" "(minus :: rat \<Rightarrow> rat \<Rightarrow> rat)"
    1.11      "(times :: rat \<Rightarrow> rat \<Rightarrow> rat)" "(divide :: rat \<Rightarrow> rat \<Rightarrow> rat)"