Theory ListInfinite

theory ListInfinite
imports 
  "CommonSet/SetIntervalStep"
  "ListInf/ListInf_Prefix"
begin
end