# HG changeset patch
# User wenzelm
# Date 1308168026 -7200
# Node ID 7e726f869de96489260cf2017ed016a082877177
# Parent  666962d17142fe965156892d0a1f3ccd20b6601e# Parent  40c67d894be461d53615c4628e9b72d39d0da93f
merged

diff -r 40c67d894be4 -r 7e726f869de9 doc-src/Codegen/Thy/Foundations.thy
--- a/doc-src/Codegen/Thy/Foundations.thy	Wed Jun 15 21:30:15 2011 +0200
+++ b/doc-src/Codegen/Thy/Foundations.thy	Wed Jun 15 22:00:26 2011 +0200
@@ -324,7 +324,7 @@
       language.
 
     \ditem{\emph{Inspect code equations}.}  Code equations are the central
-      carrier of code generation.  Most problems occuring while generation
+      carrier of code generation.  Most problems occuring while generating
       code can be traced to single equations which are printed as part of
       the error message.  A closer inspection of those may offer the key
       for solving issues (cf.~\secref{sec:equations}).