nuprl site
nuprl site vs book
bib entries
Merge branch 'master' of https://github.com/awodey/SigLog
new entries
minor historical revisions, plus citation for PAT to howard