From 455df475317d4cf59e854fdb329d4f8a470474f3 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 9 Aug 2012 04:35:46 +1000
Subject: Theorems now displayed properly instead of as maybe values

---
 ListThm.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ListThm.hs b/ListThm.hs
index e61aaf9..ad65911 100644
--- a/ListThm.hs
+++ b/ListThm.hs
@@ -27,8 +27,8 @@ toThms graph nodeList =
                            node = snd3 . head $ edge
                        in write g node)
 
-        f = (\x -> (show . fst $ x) ++ ".  [" ++ show ((fst4 . fromJust $ (eval (hyp graph (snd x)))) `at` 0) ++ 
-                   "] |- " ++ show ((fst4 . fromJust $ (eval (con graph (snd x)))) `at` 0))
+        f = (\x -> (show . fst $ x) ++ ".  " ++ (show . fromJust $ ((fst4 . fromJust $ (eval (hyp graph (snd x)))) `at` 0)) ++ 
+                   " |- " ++ (show . fromJust $ ((fst4 . fromJust $ (eval (con graph (snd x)))) `at` 0)))
 
     in map f (zip [1..] nodeList)
 
-- 
cgit