doc-src/IsarAdvanced/Codegen/Thy/Further.thy

--- a/doc-src/IsarAdvanced/Codegen/Thy/Further.thy	Tue Feb 03 19:37:30 2009 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Further.thy	Tue Feb 03 19:48:06 2009 +0100
@@ -96,7 +96,7 @@
   allows to use pattern matching on constructors stemming from compiled
   @{text datatypes}.
 
-  For a less simplistic example, theory @{theory ReflectedFerrack} is
+  For a less simplistic example, theory @{theory Ferrack} is
   a good reference.
 *}