Whiley/WhileyDocs — pull request #5 by Matt-- (2014-04-29 04:48:27+00:00)
Title: Fixing some example errors

Fixing errors.

Not tested in Whiley play.