Moving the proofs to the appendix, improving the flow

1 files changed, 3 insertions, 5 deletions

diff --git a/paper.tex b/paper.tex
index 8a8775c..7b821b6 100644
--- a/paper.tex
+++ b/paper.tex
@@ -5,9 +5,9 @@
 \usepackage{amsmath,amsfonts}
 \usepackage{algorithm, algpseudocode}
 \usepackage{bbm,color,verbatim}
-\usepackage[pagebackref=true,breaklinks=true,colorlinks=true]{hyperref}
 \usepackage{amsthm}
 \input{definitions}
+\usepackage[pagebackref=true,breaklinks=true,colorlinks=true]{hyperref}
 \title{Budget Feasible Mechanisms for Experimental Design}
 \author{
     Thibaut Horel\\École Normale Supérieure\\\texttt{thibaut.horel@ens.fr}
@@ -33,10 +33,8 @@
 \input{problem}
 \section{Approximation results}\label{sec:approximation}
 \input{approximation}
-\section{Mechanism for \SEDP{}}
+\section{Mechanism for \SEDP{}}\label{sec:mechanism}
 \input{main}
-\section{Proofs}\label{sec:proofs}
-\input{proofs}
 \section{Extensions}\label{sec:ext}
 \input{general}
 %\section{Conclusion}
@@ -44,6 +42,6 @@
 \bibliographystyle{abbrvnat}
 \bibliography{notes}
 \newpage
-\section*{Appendix}
+\section{Appendix}
 \input{appendix}
 \end{document}