# HG changeset patch
# User haftmann
# Date 1276522029 -7200
# Node ID e482f206821e17c575ebde4708fb62ce56f06d1a
# Parent  04d58897bf900c12cb88177b0ab92641a79c7253
added reference

diff -r 04d58897bf90 -r e482f206821e doc-src/Codegen/Thy/Program.thy
--- a/doc-src/Codegen/Thy/Program.thy	Mon Jun 14 15:27:08 2010 +0200
+++ b/doc-src/Codegen/Thy/Program.thy	Mon Jun 14 15:27:09 2010 +0200
@@ -134,7 +134,8 @@
 
 text {*
   \noindent This is a convenient place to show how explicit dictionary construction
-  manifests in generated code (here, the same example in @{text SML}):
+  manifests in generated code (here, the same example in @{text SML})
+  \cite{Haftmann-Nipkow:2010:code}:
 *}
 
 text %quote {*@{code_stmts bexp (SML)}*}