1 theory Inductive_Predicate
2 imports Codegen_Basics.Setup
2 imports Setup
3 begin
4
5 (*<*)
6 hide_const %invisible append
7