From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Nov 2005 12:09:51 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~8101
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f271439ffbe4b5a689061bd4744c9b9294f734e1;p=helm.git

...
---

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index f1699bc2f..5e5bb5bef 100644
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -36,6 +36,7 @@
 \newcommand{\REF}[3]{\ensuremath{\mathit{Ref}_{#1}(#2,#3)}}
 \newcommand{\TEXMACRO}[1]{\texttt{\char92 #1}}
 \newcommand{\UWOBO}{UWOBO}
+\newcommand{\GETTER}{Getter}
 \newcommand{\WHELP}{Whelp}
 \newcommand{\DOT}{\ensuremath{\mbox{\textbf{.}}}}
 \newcommand{\SEMICOLON}{\ensuremath{\mbox{\textbf{;}}}}