minor improvements; link modl sequent calculus into full text

Author: rzach

content/intuitionistic-logic/soundness-completeness/truth-lemma.tex

@@ -10,6 +10,9 @@
 
 \olsection{The Truth Lemma}
 
+The following lemma connects satisfaction in the canonical model with
+which !!{formula}s are !!{element}s of the prime set $\Delta$.
+
 \begin{lem}\ollabel{lem:truth}
   If $\Delta$ is prime, then $\mSat{M(\Delta)}{!A}[\sigma]$ iff
   $\Delta(\sigma) \Proves !A$.

content/normal-modal-logic/normal-modal-logic.tex

@@ -24,6 +24,8 @@
 
 \olimport[tableaux]{tableaux}
 
+\olimport[sequent-calculus]{sequent-calculus}
+
 \OLEndPartHook
 
 \end{document}

sty/open-logic-book.cls

@@ -188,8 +188,8 @@
     \hypersetup{
       pdfdisplaydoctitle,
       allcolors=OLPdkcolor,
-  %    pdftitle={\OLPbooktitle. \OLPbooksubtitle{} (\OLPshortbookversion)},
-  %    pdfauthor = {\OLPauthor, Open Logic Project}
+      pdftitle={\OLPbooktitle. \OLPbooksubtitle{} (\OLPshortbookversion)},
+      pdfauthor = {\OLPauthor, Open Logic Project}
     }
     \copypagestyle{OLPpage}{headings}