| changeset 21994 | dfa5133dbe73 |
| parent 21993 | 4b802a9e0738 |
| child 22015 | 12b94d7f7e1f |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Thu Jan 04 17:11:09 2007 +0100 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Thu Jan 04 17:17:48 2007 +0100 @@ -6,6 +6,7 @@ heada :: (Codegen.Null a) => ([a] -> a) heada (y : xs) = y +heada [] = Codegen.nulla null_option :: Maybe b null_option = Nothing