Cleaner directory structure, addition of make clean, grouping of library modules into a single package

1 files changed, 0 insertions, 19 deletions

diff --git a/Theorem.hs b/Theorem.hs
deleted file mode 100644
index c97a399..0000000
--- a/Theorem.hs
+++ /dev/null
@@ -1,19 +0,0 @@
-module Theorem (
-	Theorem(..),
-	) where
-
-
-
-import qualified Data.Set as Set
-import TypeVar
-import Term
-
-
-
-data Theorem = Theorem { thmHyp :: Set.Set Term
-                       , thmCon :: Term } deriving (Eq, Ord)
-
-
-
-instance Show Theorem where
-    show a   =   (show . Set.toList . thmHyp $ a) ++ " |- " ++ (show . thmCon $ a)