diff --git a/Data/Logic/HUnit.hs b/Data/Logic/HUnit.hs
--- a/Data/Logic/HUnit.hs
+++ b/Data/Logic/HUnit.hs
@@ -62,6 +62,3 @@
 type TestEq' = forall formula atom term v p f. TestFormulaEq formula atom term v p f => Test formula
 type FormulaEq' = forall formula atom term v p f. TestFormulaEq formula atom term v p f => formula
 -}
-
-instance IsString Function where
-    fromString = FName
diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,9 @@
+haskell-logic-classes (1.5.3) unstable; urgency=low
+
+  * Restore tests.
+
+ -- David Fox <dsf@seereason.com>  Sat, 17 Oct 2015 07:07:30 -0700
+
 haskell-logic-classes (1.5) unstable; urgency=low
 
   * Move the pApp* functions from Data.Logic.Classes.FirstOrder to
diff --git a/logic-classes.cabal b/logic-classes.cabal
--- a/logic-classes.cabal
+++ b/logic-classes.cabal
@@ -1,5 +1,5 @@
 Name:             logic-classes
-Version:          1.5.2
+Version:          1.5.3
 Synopsis:         Framework for propositional and first order logic, theorem proving
 Description:      Package to support Propositional and First Order Logic.  It includes classes
                   representing the different types of formulas and terms, some instances of