diff -r 0686a953b873 -r 00cbf41ba625 doc-src/IsarRef/logics.tex --- a/doc-src/IsarRef/logics.tex Mon Mar 10 21:51:42 2008 +0100 +++ b/doc-src/IsarRef/logics.tex Mon Mar 10 21:51:43 2008 +0100 @@ -889,7 +889,7 @@ Isabelle/Pure provides two generic frameworks to support code generation from executable specifications. Isabelle/HOL instantiates these mechanisms in a -way that is amenable to end-user applications +way that is amenable to end-user applications. One framework generates code from both functional and relational programs to SML. See