X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=macros.tex;h=b9ac79db7aa8a76f8fc98d17e807f0a5a6c616af;hb=20132867497f74bc0e2a2831fc7077b3678ae6a0;hp=4c82f0b94616e233afb851958dfe90963813adec;hpb=34c8f76c4a20829714be87a100ace82e696aa271;p=fireball-separation.git

diff --git a/macros.tex b/macros.tex
index 4c82f0b..b9ac79d 100644
--- a/macros.tex
+++ b/macros.tex
@@ -4,7 +4,7 @@
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
 % \newtheorem{prop}[thm]{Proposition}
-% \newtheorem*{cor}{Corollary}
+\newtheorem{corollary}{Corollary}
 
 \theoremstyle{definition}
 \newtheorem{definition}{Definition}
@@ -58,3 +58,23 @@
 \newcommand{\Numeral}[1]{\bar{#1}}
 
 \newcommand{\ToFire}[1]{#1{\downarrow}}
+
+
+% from strong_fireballs macros.tex
+\newcommand{\Lam}[1]{\lambda #1.\,}
+
+\newcommand{\hl}[1]{{\underline{#1}}}
+\newcommand{\Esub}[2]{\texttt{[}#2\texttt{/}#1\texttt{]}}
+\newcommand{\Comma}{\texttt{,}}
+\newcommand{\Semi}{\texttt{;}}
+\newcommand{\Subst}[2]{\{#2/#1\}}
+% \newcommand{\Comma}{}
+\newcommand{\tm}{t}
+\newcommand{\tmtwo}{u}
+\newcommand{\tmthree}{s}
+\newcommand{\var}{x}
+\newcommand{\vartwo}{y}
+\newcommand{\varthree}{z}
+\newcommand{\varfour}{w}
+
+\newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}