From 25203ef5960e2eedad25ffaac5db3d86ba5b31b1 Mon Sep 17 00:00:00 2001
From: Chris <chris.barker@nyu.edu>
Date: Mon, 23 Feb 2015 14:16:04 -0500
Subject: [PATCH] adjustments

---
 topics/_week5_system_F.mdwn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 72488153..3f533abd 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -10,9 +10,9 @@ ponens:
 Expression    Type     Implication
 ----------------------------------
 fn            &alpha; -> &beta;   &alpha; &sup; &beta;
-arg           &alpha;             &alpha;
-------        ------              --------
-fn arg        &beta;              &beta;
+arg           &alpha;        &alpha;
+------        ------         --------
+fn arg        &beta;         &beta;
 </pre>
 
 The implication in the right-hand column is modus ponens, of course.
-- 
2.11.0