module S07 (
  -- * Exercises 3 and 4
  -- | See <../pdfs/07.pdf>.
  
  -- * Exercises 5 and 6
  -- | See <../thys/S07.thy>.
  ) where