1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML	Fri Jun 13 20:57:26 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML	Fri Jun 13 20:57:51 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  datatype nat = Suc of nat | Zero_nat;
     1.5  
     1.6  fun eq_nat Zero_nat Zero_nat = true
     1.7 -  | eq_nat (Suc m) (Suc n) = eq_nat m n
     1.8 +  | eq_nat (Suc nat) (Suc nat') = eq_nat nat nat'
     1.9    | eq_nat Zero_nat (Suc a) = false
    1.10    | eq_nat (Suc a) Zero_nat = false;
    1.11