# HG changeset patch
# User haftmann
# Date 1449153181 -3600
# Node ID e1e6bb36b27a97f8bf508780957e83fed27e3931
# Parent  b319013d2d33302a83576d926e262f38cb754e0a
tuned language

diff -r b319013d2d33 -r e1e6bb36b27a src/Doc/Codegen/Foundations.thy
--- a/src/Doc/Codegen/Foundations.thy	Thu Dec 03 15:33:00 2015 +0100
+++ b/src/Doc/Codegen/Foundations.thy	Thu Dec 03 15:33:01 2015 +0100
@@ -116,10 +116,10 @@
   arguments of the left hand side of an equation, but never to the
   constant heading the left hand side.
 
-  Pre- and postprocessor can be setup to broker between
+  Pre- and postprocessor can be setup to transfer between
   expressions suitable for logical reasoning and expressions 
   suitable for execution.  As example, take list membership; logically
-  is is just expressed as @{term "x \<in> set xs"}.  But for execution
+  it is expressed as @{term "x \<in> set xs"}.  But for execution
   the intermediate set is not desirable.  Hence the following
   specification:
 \<close>