1 files changed, 5 insertions, 5 deletions
diff --git a/ListThm.hs b/ListThm.hs
index 3b179dd..540486d 100644
--- a/ListThm.hs
+++ b/ListThm.hs
@@ -1,10 +1,10 @@
 import System.Environment( getArgs )
 import Text.Printf
-import Parse
-import ProofGraph
-import WriteProof
-import Semantic
-import Stack
+import Library.Parse
+import Library.ProofGraph
+import Library.WriteProof
+import Library.Semantic
+import Library.Stack
 
 import Data.Maybe
 import Data.Graph.Inductive.Graph( Node, LNode, Edge, LEdge )