/Actually completed Hoare chapter/

Weird.  So Emacs was displaying it as ending after ~50 lines.  Turned
out to be 1500.  Well, it's done now.
Started Chapter HoareAsLogic