From 3ea6bacad9fd7b14d5454d6ea109f5de724fd690 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Tue, 22 May 2012 09:22:33 +1000
Subject: Split the Object wrapping from the actual computation in the article
 commands

---
 Theorem.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Theorem.hs')

diff --git a/Theorem.hs b/Theorem.hs
index c97a399..699c2e8 100644
--- a/Theorem.hs
+++ b/Theorem.hs
@@ -1,5 +1,7 @@
 module Theorem (
 	Theorem(..),
+
+	nullThm
 	) where
 
 
@@ -17,3 +19,8 @@ data Theorem = Theorem { thmHyp :: Set.Set Term
 
 instance Show Theorem where
     show a   =   (show . Set.toList . thmHyp $ a) ++ " |- " ++ (show . thmCon $ a)
+
+
+
+nullThm :: Theorem
+nullThm = Theorem Set.empty nullTerm
-- 
cgit