Theory Stream_Input0

theory Stream_Input0
imports Stream_Prelim
theory Stream_Input0
imports Stream_Prelim
begin

type_synonym 'a F = "nat * 'a"
composition_bnf F: "'a F"
type_synonym bd_type_F = nat
abbreviation "F_bd ≡ natLeq"

end