supplement.tex

\documentclass [preprint]{sigplanconf}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{xspace}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{latexsym}
\usepackage{graphicx}
\usepackage[latin1]{inputenc}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage{algorithm}
\usepackage[noend]{algpseudocode}
\usepackage{algorithm}
\usepackage{url}
\usepackage{amsmath, amsthm, amssymb}
\usepackage{color}
\usepackage{fancyvrb}
\usepackage{mathpartir}

\usepackage{caption}
\usepackage{subcaption}

\usepackage{tikz}
\usetikzlibrary{arrows,automata}
\usetikzlibrary{shapes.symbols}
\usetikzlibrary{shapes}

\newtheorem{theorem}{Theorem}

\theoremstyle{remark}
\newtheorem{example}{Example}

\theoremstyle{definition}
\newtheorem{definition}{Definition}

\newcommand{\civl}{{\sc civl}\xspace}
\newcommand{\boogie}{{\sc boogie}\xspace}
\newcommand{\zthree}{{\sc Z3}\xspace}
\newcommand{\casm}{{\sc casm}\xspace}
\newcommand{\why}{{\sc why}\xspace}

\makeatletter
\let\@copyrightspace\relax
\makeatother

\begin{document}

\special{papersize=8.5in,11in}
\setlength{\pdfpageheight}{\paperheight}
\setlength{\pdfpagewidth}{\paperwidth}

\conferenceinfo{CONF 'yy}{Month d--d, 20yy, City, ST, Country} 
\copyrightyear{20yy} 
\copyrightdata{978-1-nnnn-nnnn-n/yy/mm} 
\doi{nnnnnnn.nnnnnnn}

\title{Automated and modular refinement reasoning for concurrent programs: supplemental material}
\authorinfo{}{}{}

\maketitle

\input{macros}

\appendix
\input{appendix}
\end{document}