-- |
-- = Solutions to Exercises for December 14, 2018
module S07 (
  -- * Exercises 2, 3, 4, 5, and 6
  -- | See <../pdfs/07.pdf> and <../thys/S07.thy>.
  ) where