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

1 files changed, 4 insertions, 4 deletions

diff --git a/Test.hs b/Test.hs
index f886dce..040bb87 100644
--- a/Test.hs
+++ b/Test.hs
@@ -1,8 +1,8 @@
 import Test.HUnit
-import Command
-import TypeVar
-import Term
-import Theorem
+import Library.Command
+import Library.TypeVar
+import Library.Term
+import LibraryTheorem
 import qualified Data.Set as Set