
   \input{intro}
   \input{general}
   \input{snoc}
   \input{tail}
   \input{append}
   \input{el}
   \input{ell}
   \input{map}
   \input{member}
   \input{unappend}
   \input{subseq}
   \input{last_subseq}
   \input{shift}
   \input{zip}
   \input{num_lists}
   \input{using}
