Theory Input_base

theory Input_base
imports Prelim
theory Input_base
imports Prelim
begin

(*REPLACE_F*)
bnf_axiomatization (F_set: 'a) F for map: F_map rel: F_rel
abbreviation "F_bd ≡ bd_F"
(*REPLACE_F_END*)

end