From 80fd33db027d0adcd441074b30728d21cfb15860 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 2 Feb 2006 11:44:44 +0000
Subject: [PATCH] more style fixes

---
 helm/papers/system_T/t.tex | 35 ++++++++++++++++++-----------------
 1 file changed, 18 insertions(+), 17 deletions(-)

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 42b937bf2..a3f08cd5a 100644
--- a/helm/papers/system_T/t.tex
+++ b/helm/papers/system_T/t.tex
@@ -179,23 +179,24 @@ informative part of the algorithms.
 {\bf Inference Rules}
 
 say that ax:AX refers to the previous Axioms list...
-\begin{table}[!h]
-\hrule\vspace{0.1cm}
-\begin{tabular}{p{0.34\textwidth}r}
-  $\Gamma, x:A, \Delta \vdash x:A$ & $(Proj)$\\
-  $\Gamma \vdash ax : AX$ & $(Const)$\\
-  $\frac{\Gamma,x:A \vdash M:Q}{\Gamma \vdash \lambda x:A.M: A \to Q}$ & 
-    $(\to_i)$\\
-  $\frac{\Gamma \vdash M: A \to Q \hspace{0.5cm}\Gamma \vdash N: A}
-        {\Gamma \vdash M N: Q}$ & $(\to_e)$\\
-  $\frac{\Gamma \vdash M:P}{\Gamma \vdash \lambda x:\N.M: \forall x.P}(*)$ &
-    $(\forall_i)$\\
-  $\frac{\Gamma \vdash M :\forall x.P}{\Gamma \vdash M t: P[t/x]}$ &
-    $(\forall_e)$
-\end{tabular}\vspace{0.1cm}
-\hrule
-\caption{\label{tab:HArules}Inference rules}
-\end{table}{lr}
+%\begin{table}[!h]
+%\hrule\vspace{0.1cm}
+%\begin{tabular}{p{0.34\textwidth}r}
+
+  $$\Gamma, x:A, \Delta \vdash x:A ~~~ (Proj)$$
+  $$ \Gamma \vdash ax : AX~~~ (Const)$$
+  $$\frac{\Gamma,x:A \vdash M:Q}{\Gamma \vdash \lambda x:A.M: A \to Q} ~~~ (\to_i)$$
+  $$\frac{\Gamma \vdash M: A \to Q \hspace{0.5cm}\Gamma \vdash N: A}
+        {\Gamma \vdash M N: Q} ~~~ (\to_e)$$
+  $$\frac{\Gamma \vdash M:P}{\Gamma \vdash \lambda x:\N.M: \forall x.P}(*) ~~~
+    (\forall_i)$$
+  $$\frac{\Gamma \vdash M :\forall x.P}{\Gamma \vdash M t: P[t/x]}
+     ~~~ (\forall_e)$$
+    
+%\end{tabular}\vspace{0.1cm}
+%\hrule
+%\caption{\label{tab:HArules}Inference rules}
+%\end{table}{lr}
 
 %\[ 
 %   (\land_i)\frac{\Gamma \vdash M:A \hspace{1cm}\Gamma \vdash N:B}
-- 
2.39.2