diff -r 7c86f9ed8588 -r 64e3f45dc6f4 doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Wed Oct 24 21:12:44 2007 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Wed Oct 24 21:33:37 2007 +0200
@@ -11,8 +11,8 @@
 type 'a null = {null : 'a};
 fun null (A_:'a null) = #null A_;
 
-fun head B_ (x :: xs) = x
-  | head B_ [] = null B_;
+fun head A_ (x :: xs) = x
+  | head A_ [] = null A_;
 
 val null_option : 'a option = NONE;