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