git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/README b/README
index 0d1e17a634a35e2c9f9fbbb524c67b95c852a870..f07f75301da4bf6adb15496f391880333373ffd7 100644 (file)
--- a/README
+++ b/README
@@ -16,13 +16,13 @@ Primary Author
 --------------
 Vijay Ganesh, Stanford University, Stanford, CA, USA (Nov, 2005 to present)
 
-
 Other Significant Author
 ------------------------
 Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present)
 
 
-Other Authors who contributed some code
+
+Authors who contributed some code
 ---------------------------------------
 David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
 Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)