| changeset 24421 | acfb2413faa3 |
| parent 22798 | e3962371f568 |
| child 24628 | 33137422d7fd |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Fri Aug 24 14:14:16 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Fri Aug 24 14:14:17 2007 +0200 @@ -10,11 +10,8 @@ heada (x : xs) = x; heada [] = Codegen.nulla; -null_option :: Maybe a; -null_option = Nothing; - instance Codegen.Null (Maybe b) where { - nulla = Codegen.null_option; + nulla = Nothing; }; dummy :: Maybe Nat.Nat;