doc-src/IsarAdvanced/Codegen/codegen.tex
changeset 28447 df77ed974a78
parent 28428 fd007794561f
child 28560 625e44455f52
     1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 01 12:18:18 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Wed Oct 01 13:33:54 2008 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4  \maketitle
     1.5  
     1.6  \begin{abstract}
     1.7 -  This tutorial gives am introduction to a generic code generator framework in Isabelle
     1.8 +  This tutorial gives an introduction to a generic code generator framework in Isabelle
     1.9    for generating executable code in functional programming languages from logical
    1.10    specifications in Isabelle/HOL.
    1.11  \end{abstract}