Seminar problems posted

I did some changes to the suggestion, broadening the problem types a little bit.

Update I: Added a bit of 7-01.
Update II: For the following week, I will most likely assign the rest of section 7 from the compendium, except 7-02.  Maybe also something on proof by induction.