doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs
changeset 22798 e3962371f568
parent 22751 1bfd75c1f232
child 24421 acfb2413faa3
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Thu Apr 26 12:00:12 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Thu Apr 26 13:32:55 2007 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4    nulla :: a;
     1.5  };
     1.6  
     1.7 -heada :: (Codegen.Null a) => [a] -> a;
     1.8 +heada :: (Codegen.Null b) => [b] -> b;
     1.9  heada (x : xs) = x;
    1.10  heada [] = Codegen.nulla;
    1.11