Initial import of verification branch
Some of the material on verification and validation.
Progress on Tuesday's lectures.
Merge remote-tracking branch 'upstream/master' into verification
Possibly nearly finished version of the verification slides.
Initial import of law notes.
notes actually build.
Versions of legal issues to be submitted.
Add the actual pdfs of presentations.
Merge pull request #2 from dham/master

Merge dhams lecture notes