| changeset 22751 | 1bfd75c1f232 |
| parent 22188 | a63889770d57 |
| child 22798 | e3962371f568 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Fri Apr 20 11:21:53 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Fri Apr 20 13:11:47 2007 +0200 @@ -7,7 +7,7 @@ }; heada :: (Codegen.Null a) => [a] -> a; -heada (y : xs) = y; +heada (x : xs) = x; heada [] = Codegen.nulla; null_option :: Maybe a;