hdiff
packages
feed
ivor
-0.1.5: docs/local.ltx
\newcommand{\prover}{\textsc{HumeTT}}