/Actually completed Hoare chapter/
/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.

GallagherCommaJack/software-foundations,GallagherCommaJack/software-foundations