diff --git a/src/Examples.hs b/src/Examples.hs
--- a/src/Examples.hs
+++ b/src/Examples.hs
@@ -1,5 +1,5 @@
 
-module Examples where
+module Examples(examples) where
 import FOL
 import Text.Html
 
diff --git a/src/FOL.hs b/src/FOL.hs
--- a/src/FOL.hs
+++ b/src/FOL.hs
@@ -4,7 +4,7 @@
    pbv@dcc.fc.up.pt
  -}
 module FOL where
-import List
+import Data.List
 import Data.Map (Map)
 import qualified Data.Map as Map
 import Data.Tree
diff --git a/src/Markup.hs b/src/Markup.hs
--- a/src/Markup.hs
+++ b/src/Markup.hs
@@ -13,7 +13,7 @@
 import Parser
 import Util
 import CSS
-import List(intersperse,span)
+import Data.List(intersperse,span)
 
 
 data Form = Form {
diff --git a/src/Parser.hs b/src/Parser.hs
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -12,8 +12,8 @@
 import qualified Text.ParserCombinators.Parsec.Token as P
 import Text.ParserCombinators.Parsec.Language
 import Control.Monad
-import Char
-import List (intersperse)
+import Data.Char
+import Data.List (intersperse)
 import Test.QuickCheck
 
 -- setup a tokenizer
diff --git a/src/Tableaux.hs b/src/Tableaux.hs
--- a/src/Tableaux.hs
+++ b/src/Tableaux.hs
@@ -9,7 +9,7 @@
 import FOL
 import Unify 
 import qualified Data.Map as Map
-import Maybe 
+import Data.Maybe 
 
 {- 
    Data.Tree from Haskell's standard library
diff --git a/src/Util.hs b/src/Util.hs
--- a/src/Util.hs
+++ b/src/Util.hs
@@ -1,6 +1,6 @@
 
 module Util where
-import Char
+import Data.Char
 import Test.QuickCheck
 
 
diff --git a/tableaux.cabal b/tableaux.cabal
--- a/tableaux.cabal
+++ b/tableaux.cabal
@@ -1,5 +1,5 @@
 name:    tableaux
-version: 0.1
+version: 0.2
 
 category: Theorem Provers
 
@@ -8,7 +8,7 @@
 description:
   This is a simple web-based interactive theorem prover 
   using semantic tableaux for propositional and first-order logic  
-  (cf. "First-Order Logic", Raymond Smullyan, Dover).
+  (cf. First-Order Logic, Raymond Smullyan, Dover).
   It allows step-by-step construction of proofs and runs on any
   web server supporting the CGI interface.
   
@@ -31,11 +31,10 @@
   other-modules:    FOL Unify Tableaux Markup CSS Parser Zipper Examples Util 
   build-depends:
     base       >= 4       && < 5,
-    haskell98,
     containers,
     mtl >= 1.1,
     html >= 1.0,
-    parsec >= 2.1  && <3,
+    parsec >= 2.1,
     cgi >= 3001.1,
     QuickCheck >= 2.1