Theory Input_step

theory Input_step
imports More_Corec_Upto_base
theory Input_step
imports More_Corec_Upto_base
begin

(*REPLACE_K*)
bnf_axiomatization (K_step_set: 'a) K_step for map: K_step_map rel: K_step_rel
(*REPLACE_K_END*)

end