changeset 36176 | 3fe7e97ccca8 |
parent 34155 | 14aaccb399b3 |
child 36259 | 9f9b9b14cc7a |
1.1 --- a/doc-src/Codegen/Thy/Program.thy Fri Apr 16 20:56:40 2010 +0200 1.2 +++ b/doc-src/Codegen/Thy/Program.thy Fri Apr 16 21:28:09 2010 +0200 1.3 @@ -430,7 +430,7 @@ 1.4 1.5 subsection {* Inductive Predicates *} 1.6 (*<*) 1.7 -hide const append 1.8 +hide_const append 1.9 1.10 inductive append 1.11 where