# HG changeset patch
# User haftmann
# Date 1283438539 -7200
# Node ID 2accb6526d113a291223cd170ca616d3d8ba0204
# Parent  4517a4049588b09cab8df815ebc08233cddd1b4b
avoid reference to theory Ferrack altogether

diff -r 4517a4049588 -r 2accb6526d11 doc-src/Codegen/Thy/Evaluation.thy
--- a/doc-src/Codegen/Thy/Evaluation.thy	Thu Sep 02 16:41:44 2010 +0200
+++ b/doc-src/Codegen/Thy/Evaluation.thy	Thu Sep 02 16:42:19 2010 +0200
@@ -96,7 +96,7 @@
   allows to use pattern matching on constructors stemming from compiled
   @{text "datatypes"}.
 
-  For a less simplistic example, theory @{theory Ferrack} is
+  For a less simplistic example, theory @{text Ferrack} is
   a good reference.
 *}