| changeset 25182 | 64e3f45dc6f4 |
| parent 25056 | 743f3603ba8b |
| child 25731 | b3e415b0cf5c |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Wed Oct 24 21:12:44 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Wed Oct 24 21:33:37 2007 +0200 @@ -6,7 +6,7 @@ nulla :: a; }; -heada :: (Codegen.Null b) => [b] -> b; +heada :: (Codegen.Null a) => [a] -> a; heada (x : xs) = x; heada [] = Codegen.nulla;