| changeset 36176 | 3fe7e97ccca8 |
| parent 36055 | 537876d0fa62 |
| child 36253 | 6e969ce3dfcc |
--- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy Fri Apr 16 20:56:40 2010 +0200 +++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Examples.thy Fri Apr 16 21:28:09 2010 +0200 @@ -1168,7 +1168,7 @@ code_pred (expected_modes: o => bool, i => bool) S\<^isub>4p . -hide const a b +hide_const a b subsection {* Lambda *}