diff --git a/Folly.cabal b/Folly.cabal
--- a/Folly.cabal
+++ b/Folly.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                Folly
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            A first order logic library in Haskell
 description:         An implementation of first order logic in Haskell that
 		     includes a library of modules for incorporating first
diff --git a/test/Main.hs b/test/Main.hs
new file mode 100644
--- /dev/null
+++ b/test/Main.hs
@@ -0,0 +1,14 @@
+module Main(main) where
+
+import Folly.FormulaTests
+import Folly.LexerTests
+import Folly.ParserTests
+import Folly.ResolutionTests
+import Folly.UnificationTests
+
+main = do
+  allFormulaTests
+  allLexerTests
+  allParserTests
+  allResolutionTests
+  allUnificationTests