From ea3f1f7736c57747e743a5106b917d2853c62f57 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 13 Sep 2012 02:14:04 +1000
Subject: Cleaner directory structure, addition of make clean, grouping of
 library modules into a single package

---
 ListThm.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'ListThm.hs')

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 )
-- 
cgit