# HG changeset patch # User haftmann # Date 1205182303 -3600 # Node ID 00cbf41ba62596acb243124265f3c6886ad12a6f # Parent 0686a953b87327265973ee5506077c4d26b4526f fixed typo 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