Wrote first part of hoare rules Section.
Added list reversal program.
Merged.
Added 'Creating Assertions' section.