\chapter{Higher-order logic}
\label{chap:hol}



% Local Variables:
% TeX-master: "catlog"
% End: