Split the Object wrapping from the actual computation in the article commands

1 files changed, 7 insertions, 0 deletions

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