UCSD-PL/algorithmic-software-verification — pull request #7 by Ptival (2013-04-23 17:52:41+00:00)
Title: Floyd-Hoare lecture, with Unicode...

So, this works and renders well, but it needs to use xelatex as the LaTeX engine.

I can give up on the Unicode and use LaTeX encodings if needed.

Also I did not put the operational semantics rules, should I?