main.tex

\documentclass[11pt]{text/ucsddissertation}
% mathptmx is a Times Roman look-alike (don't use the times package)
% It isn't clear if Times is required. The OGS manual lists several
% "standard fonts" but never says they need to be used.
\usepackage{mathptmx}
\usepackage[NoDate]{currvita}
\usepackage{array}
\usepackage{tabularx}
\usepackage{booktabs}
\usepackage{ragged2e}
\usepackage{microtype}
\usepackage[breaklinks=true,pdfborder={0 0 0}]{hyperref}
\usepackage{graphicx}


\usepackage{text/liquidHaskell}
\usepackage{amsmath,amssymb, latexsym}

\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{text/commands}


\usepackage{stmaryrd}

\usepackage{comment}
\usepackage{flushend}
\usepackage[inference]{semantic}

\usepackage{paralist}

\newtheorem{notation}{Notation}{\itshape}{}
\newtheorem{invariant}{Invariant}
\newtheorem{lemma}{Lemma}
\newtheorem{definition}{Definition}
\newtheorem{lemma*}{Lemma}
\newtheorem{theorem}{Theorem}
\newtheorem{theorem*}{Theorem}
\newtheorem{corollary}{Corollary}
\input{text/haskellListings}


\AtBeginDocument{%
	\settowidth\cvlabelwidth{\cvlabelfont 0000--0000}%
}

% OGS recommends increasing the margins slightly.
\increasemargins{.1in}

% These are just for testing/examples, delete them
\usepackage{trace}
%\usepackage{showframe} % This package was just to see page margins
\usepackage[english]{babel}
\usepackage{blindtext}
\overfullrule5pt
% ---

% Required information
\title{Liquid Haskell: Haskell as a Theorem Prover}
\author{Niki Vazou}
\degree{Computer Science}{Doctor of Philosophy}
% Each member of the committee should be listed as Professor Foo Bar.
% If Professor is not the correct title for one, then titles should be
% omitted entirely.
\chair{Professor Ranjit Jhala}
% Your committee members (other than the chairs) must be in alphabetical order
\committee{Professor Samuel R. Buss}
\committee{Professor Cormac Flanagan}
\committee{Professor Sorin Lerner}
\committee{Professor Daniele Micciancio}
\degreeyear{2016}

% Start the document
\begin{document}


% \begin{comment}
% Begin with frontmatter and so forth
\frontmatter
\maketitle
\makecopyright
\makesignature
% Optional
\begin{dedication}
\input{text/dedication}
\end{dedication}
% Optional
\begin{epigraph}
\vskip0pt plus.5fil
\setsinglespacing
{\flushright
Simplicity is the ultimate sophistication.
\vskip\baselineskip
\textit{Leonardo Da Vinci}\par}
\end{epigraph}


\tableofcontents
\listoffigures
\listoftables

% Preface
%%\begin{preface}
%%optional and may be omitted
%%\end{preface}

% Your fancy acks here. Keep in mind you need to ack each paper you
% use. See the examples here. In addition, each chapter ack needs to
% be repeated at the end of the relevant chapter.
\begin{acknowledgements}
\input{text/acknowledgements}
\end{acknowledgements}

% Stupid vita goes next
\begin{vita}
\input{text/vita}
\end{vita}

% Put your maximum 350 word abstract here.
\begin{dissertationabstract}
\input{text/abstract}
\end{dissertationabstract}

% This is where the main body of your dissertation goes!
\mainmatter

% Optional Introduction
\begin{dissertationintroduction}
\input{text/introduction}
\end{dissertationintroduction}


%% main 
\input{text/refinedhaskell}
\input{text/abstractrefinements}
\input{text/boundedrefinements}
\input{text/refinementreflection}
\input{text/related}
\input{text/conclusion}

%%\appendix
%%\Blinddocument

% Stuff at the end of the dissertation goes in the back matter
\backmatter
% \end{comment}

\bibliographystyle{abbrv} % Or whatever style you want like plainnat
\bibliography{text/references}
\end{document}