Permalink
Browse files

add chapter on expressive adequacy from TB's metatheory

  • Loading branch information...
rzach committed Dec 16, 2016
1 parent 3abfdae commit 0721158d9b6be8869d3b9b382b78a14617e48b0c
Showing with 71 additions and 71 deletions.
  1. +4 −2 forallx-yyc-content.tex
  2. +61 −64 forallx-yyc-metatheory.tex
  3. +6 −5 forallx-yyc-notation.tex
View
@@ -3,6 +3,7 @@
\include{forallx-yyc-frontmatter}
\pagestyle{leadbeater}
+\currentpdfbookmark{Table of Contents}{name}
\tableofcontents*
\mainmatter
@@ -14,10 +15,10 @@
\include{forallx-yyc-fol}
\include{forallx-yyc-interpretations}
\include{forallx-yyc-prooffol}
-%include{forallx-yyc-metatheory}
+\include{forallx-yyc-metatheory}
\appendix
-%\part{Appendices}
+\part*{Appendices}
\addcontentsline{toc}{part}{Appendices}
\addtocontents{toc}{\protect\mbox{}\protect\hrulefill\par}
@@ -26,6 +27,7 @@
\include{forallx-yyc-quickreference}
\backmatter
+
\glsaddall
\addtocontents{toc}{\protect\mbox{}\protect\hrulefill\par}
\printglossaries
Oops, something went wrong.

0 comments on commit 0721158

Please sign in to comment.