\documentclass[10pt,twoside]{article} %report is for theses

\usepackage{enumerate}
\usepackage[utf8]{inputenc} %for utf8 input
\usepackage{amssymb} %for shift symbol
\usepackage{amsmath}
\usepackage{listings} %for code
\lstset{moredelim=[is][\color{blue}]{@}{@},keepspaces=true}
\usepackage{mathpartir} %for typing rules
\usepackage{microtype} %better micro typing
\usepackage{stmaryrd} %for llbracket
\usepackage{graphicx} %to include png images
\usepackage[table]{xcolor} %for colors
\usepackage{url}
% \usepackage[inline]{enumitem}
\usepackage{array} %for stupid tables
\usepackage{hhline}
\usepackage{fourier} % utopia with fourier math
%\usepackage[firstpage]{draftwatermark}
%\SetWatermarkText{\hspace*{8in}\raisebox{5.5in}{\includegraphics[scale=0.1]{fig/aec-badge-pldi.pdf}}}
%\SetWatermarkAngle{0}

%----------------------------------------------------

\usepackage{calrsfs} % nice mathcal

\DeclareMathAlphabet{\pazocal}{OMS}{zplm}{m}{n}
\renewcommand{\mathcal}[1]{\pazocal{#1}}


%----------------------------------------------------

\usepackage{prettyref}
\newcommand{\pref}[1]{\prettyref{#1}}
\newcommand{\Pref}[1]{\prettyref{#1} \vpageref[]{#1}}
\newcommand{\ppref}[1]{\vpageref[]{#1}}
\newrefformat{fig}{Figure~\ref{#1}}
\newrefformat{app}{Appendix~\ref{#1}}
\newrefformat{tab}{Table~\ref{#1}}
\newrefformat{cha}{C\ref{#1}}
\newrefformat{compiler}{Point~\ref{#1} of \pref{thm:compiler}}

%----------------------------------------------------

\usepackage{amsthm}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}
\newtheorem{theorem}{Theorem}
\newtheorem{proposition}{Proposition}
\newtheorem{definition}{Definition}

%----------------------------------------------------


\input{../definitions}
\newcommand{\jan}[1]{{\color{orange}[[{#1}]]}}
\newcommand{\ronghui}[1]{{\color{blue}[[{#1}]]}}


\author{Jan Hoffmann \\ Carnegie Mellon University}
% {\{jhoffmann, ankushd\}@cs.cmu.edu}
% \authorinfo
% {}
% {Yale University}
% {shu-chun.weng@yale.edu}

\makeatletter
\let\thetitle\@title
\makeatother

%-------------Page Setup---------------------------------
%
% Note: Scale 116% to print on A5.
% --> 9pt font
%
% \usepackage{fancyhdr} %to change headers, see below

\usepackage{calc}
\usepackage[a4paper,twoside,nomarginpar, centering,
            body={13.7cm,20.3cm},footskip=1.4cm, headsep=1.4cm-\baselineskip,
            headheight=\baselineskip]{geometry}


%-------------Figures------------------------------------
\usepackage[width=.90\textwidth]{caption} %to customize captions for figs and tables

%SHORT
%\usepackage[normal,belowskip=-11pt,aboveskip=1pt]{caption} %Remove extra space around captions
% \DeclareCaptionFormat{myformat}{#1#2#3\hrulefill}
% \captionsetup[figure]{format=myformat}
% \captionsetup[table]{format=myformat}
\renewcommand{\captionlabelfont}{\bf}
%SHORT

%--------------------------------------------------------

%%% Local Variables:
%%% mode: latex
%%% End: