diff options
Diffstat (limited to 'Theorem.hs')
-rw-r--r-- | Theorem.hs | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -1,7 +1,5 @@ module Theorem ( Theorem(..), - - nullThm ) where @@ -19,8 +17,3 @@ 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 |