From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 24 Oct 2005 07:38:41 +0000 (+0000)
Subject: Tentative title.
X-Git-Tag: V_0_7_2_3~207
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=465b404a36a94d9b4ec9d1368a5070e731d82bad;p=helm.git

Tentative title.
---

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 2c7e420a8..671c933b3 100644
--- a/helm/papers/system_T/t.tex
+++ b/helm/papers/system_T/t.tex
@@ -13,7 +13,7 @@
 \renewcommand{\star}{\ast}
 \newcommand{\one}{\mathbb{1}}
 \renewcommand{\times}{\cdot}
-\title{...}
+\title{A gentle approach to program extraction and realizability}
 \author{...}