From 5395287cc2f758d94bec8befe8956ba2dcc3940c Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 15 Dec 2016 14:28:31 +1100
Subject: Old uncommitted changes

---
 test/absthm.art | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

(limited to 'test/absthm.art')

diff --git a/test/absthm.art b/test/absthm.art
index 359a4cd..244f89a 100644
--- a/test/absthm.art
+++ b/test/absthm.art
@@ -1,14 +1,14 @@
-"bool"
-"bool"
-varType
-var
-#varTerm
-"bool"
-const
-"bool"
-typeOp
-nil
-opType
-constTerm
-refl
-absThm
+"bool"
+"bool"
+varType
+var
+#varTerm
+"bool"
+const
+"bool"
+typeOp
+nil
+opType
+constTerm
+refl
+absThm
-- 
cgit