X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=macros.tex;h=5e151cc18eef3e7b032943819266ef7f6a32127f;hb=7b8e2259f217ba34f4d8871eca4fc7b79791d13a;hp=d647af67476a2bfd61f963778cc5f090651b88be;hpb=60a31aaf1d97ffa43a0f99abb32fe47fb0af4113;p=fireball-separation.git

diff --git a/macros.tex b/macros.tex
index d647af6..5e151cc 100644
--- a/macros.tex
+++ b/macros.tex
@@ -1,10 +1,15 @@
+\usepackage{blindtext}
+\usepackage{enumerate}
+\usepackage{hyperref, bookmark}
+\usepackage{amsmath, amsfonts, amssymb, amsthm}
+\usepackage{xcolor}
 \usepackage{bussproofs}
 
 \theoremstyle{plain}
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
 % \newtheorem{prop}[thm]{Proposition}
-% \newtheorem*{cor}{Corollary}
+\newtheorem{corollary}{Corollary}
 
 \theoremstyle{definition}
 \newtheorem{definition}{Definition}
@@ -78,3 +83,8 @@
 \newcommand{\varfour}{w}
 
 \newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}
+\newcommand{\TODO}{{\color{red}\textbf{TODO}}}
+
+\renewcommand{\Lam}[2]{\lambda#1.\, \{\!\!\{#2\}\!\!\}}
+\renewcommand{\vec}{\overrightarrow}
+\newcommand{\reflemma}[1]{Lemma~\ref{l:#1}}
\ No newline at end of file