From f271439ffbe4b5a689061bd4744c9b9294f734e1 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Nov 2005 12:09:51 +0000
Subject: [PATCH] ...

---
 helm/papers/matita/matita2.tex | 1 +
 1 file changed, 1 insertion(+)

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{;}}}}
-- 
2.39.2