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

1 files changed, 3 insertions, 3 deletions

diff --git a/Delete.hs b/Delete.hs
index 58e29cc..3b9a1c7 100644
--- a/Delete.hs
+++ b/Delete.hs
@@ -1,8 +1,8 @@
 import System.Environment( getArgs )
 import Text.Printf
-import Parse
-import ProofGraph
-import WriteProof
+import Library.Parse
+import Library.ProofGraph
+import Library.WriteProof
 
 import qualified Data.Graph.Inductive.Graph as Graph