Prime definizioni, verso prova correttezza nostro algoritmo

[fireball-separation.git] / macros.tex

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