From 465b404a36a94d9b4ec9d1368a5070e731d82bad Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 24 Oct 2005 07:38:41 +0000
Subject: [PATCH] Tentative title.

---
 helm/papers/system_T/t.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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