| changeset 69697 | 4d95261fab5a |
| parent 69660 | 2bc2a8599369 |
| child 70022 | 49e178cbf923 |
--- a/src/Doc/Codegen/Further.thy Sun Jan 20 21:26:15 2019 +0100 +++ b/src/Doc/Codegen/Further.thy Sun Jan 20 17:14:35 2019 +0000 @@ -194,7 +194,7 @@ \<close> text %quote \<open> - @{code_stmts funpows (consts) Nat.funpow funpows (Haskell)} + @{code_stmts funpows constant: Nat.funpow funpows (Haskell)} \<close>