HoTT/book — pull request #621 by JasonGross (2014-01-28 05:38:13+00:00)
Title: naive -> na\"ive

sed s"/\(\`\`\| \)naive\(''\| \|ly \)/\1na\\\\\"ive\2/g" -i *.tex