doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs
changeset 24628 33137422d7fd
parent 24421 acfb2413faa3
child 25056 743f3603ba8b
     1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Tue Sep 18 08:28:47 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs	Tue Sep 18 10:44:02 2007 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  heada (x : xs) = x;
     1.5  heada [] = Codegen.nulla;
     1.6  
     1.7 -instance Codegen.Null (Maybe b) where {
     1.8 +instance Codegen.Null (Maybe a) where {
     1.9    nulla = Nothing;
    1.10  };
    1.11