diff -r bff5d59de79b -r 1bfd75c1f232 doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Fri Apr 20 11:21:53 2007 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Fri Apr 20 13:11:47 2007 +0200
@@ -14,7 +14,7 @@
 type 'a null = {null : 'a};
 fun null (A_:'a null) = #null A_;
 
-fun head A_ (y :: xs) = y
+fun head A_ (x :: xs) = x
   | head A_ [] = null A_;
 
 val null_option : 'a option = NONE;