From ea3f1f7736c57747e743a5106b917d2853c62f57 Mon Sep 17 00:00:00 2001 From: Jed Barber 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 --- MeaningSubst.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'MeaningSubst.hs') diff --git a/MeaningSubst.hs b/MeaningSubst.hs index f52e2e0..f1c97eb 100644 --- a/MeaningSubst.hs +++ b/MeaningSubst.hs @@ -1,10 +1,10 @@ import System.Environment( getArgs ) import Text.Printf -import Parse -import ProofGraph -import GraphPart -import TermNet( TermNet ) -import qualified TermNet as TermNet +import Library.Parse +import Library.ProofGraph +import Library.GraphPart +import Library.TermNet( TermNet ) +import qualified Library.TermNet as TermNet import qualified Data.Graph.Inductive.Graph as Graph -- cgit