doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs
changeset 22188 a63889770d57
parent 22015 12b94d7f7e1f
child 22751 1bfd75c1f232
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Thu Jan 25 16:57:57 2007 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Fri Jan 26 09:24:35 2007 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  heada (y : xs) = y;
     1.5  heada [] = Codegen.nulla;
     1.6  
     1.7 -null_option :: Maybe b;
     1.8 +null_option :: Maybe a;
     1.9  null_option = Nothing;
    1.10  
    1.11  instance Codegen.Null (Maybe b) where {