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