# HG changeset patch
# User haftmann
# Date 1420882811 -3600
# Node ID e743ce816cf6108178ab27ed098d2078cccc56ba
# Parent  f0141b991c8f4fb6bda61d034fd96b69998f9ce9
typo

diff -r f0141b991c8f -r e743ce816cf6 src/Doc/Codegen/Evaluation.thy
--- a/src/Doc/Codegen/Evaluation.thy	Sat Jan 10 10:24:30 2015 +0100
+++ b/src/Doc/Codegen/Evaluation.thy	Sat Jan 10 10:40:11 2015 +0100
@@ -234,7 +234,7 @@
 text {*
   By virtue of @{fact interp.simps}, @{ML "Reification.conv"} provides a conversion
   which, for this concrete example, yields @{thm thm [no_vars]}.  Note that the argument
-  to @{const interp} does not contain any free variables and can this be evaluated
+  to @{const interp} does not contain any free variables and can thus be evaluated
   using evaluation.
 
   A less meager example can be found in the AFP, session @{text "Regular-Sets"},