theory More_List
imports Spartan.List

begin



end