Tentative title.

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 2c7e420a8524b95147359f9d54656dd2db37200e..671c933b34e752f39eefa1c26f33014c12668e99 100644 (file)
--- 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{...}