doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
changeset 25182 64e3f45dc6f4
parent 25056 743f3603ba8b
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Wed Oct 24 21:12:44 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML	Wed Oct 24 21:33:37 2007 +0200
     1.3 @@ -11,8 +11,8 @@
     1.4  type 'a null = {null : 'a};
     1.5  fun null (A_:'a null) = #null A_;
     1.6  
     1.7 -fun head B_ (x :: xs) = x
     1.8 -  | head B_ [] = null B_;
     1.9 +fun head A_ (x :: xs) = x
    1.10 +  | head A_ [] = null A_;
    1.11  
    1.12  val null_option : 'a option = NONE;
    1.13