From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 14 Aug 2009 16:31:36 +0000 (+0000)
Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=25b5e96fdb6ef74126c319c408409ac267f979f0;p=francis%2Fstp.git

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@130 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/AST/AST.cpp b/src/AST/AST.cpp
index 509880e..ad688f1 100644
--- a/src/AST/AST.cpp
+++ b/src/AST/AST.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/AST/ASTUtil.cpp b/src/AST/ASTUtil.cpp
index d7a3b2b..7fd98e6 100644
--- a/src/AST/ASTUtil.cpp
+++ b/src/AST/ASTUtil.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/AST/ASTUtil.h b/src/AST/ASTUtil.h
index 1693847..b94e302 100644
--- a/src/AST/ASTUtil.h
+++ b/src/AST/ASTUtil.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/AST/ToSAT.cpp b/src/AST/ToSAT.cpp
index 81858f5..c1a78b7 100644
--- a/src/AST/ToSAT.cpp
+++ b/src/AST/ToSAT.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/AST/Transform.cpp b/src/AST/Transform.cpp
index baa9adb..41db3c0 100644
--- a/src/AST/Transform.cpp
+++ b/src/AST/Transform.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 92ccc9a..2dc0a54 100644
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h
index 7b1b51b..04f2837 100644
--- a/src/c_interface/c_interface.h
+++ b/src/c_interface/c_interface.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/parser/CVC.lex b/src/parser/CVC.lex
index 3dd3320..de7f851 100644
--- a/src/parser/CVC.lex
+++ b/src/parser/CVC.lex
@@ -1,6 +1,6 @@
 %{
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/parser/CVC.y b/src/parser/CVC.y
index 6f8dae4..1be1066 100644
--- a/src/parser/CVC.y
+++ b/src/parser/CVC.y
@@ -1,6 +1,6 @@
 %{
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/parser/let-funcs.cpp b/src/parser/let-funcs.cpp
index e352cb4..659a91c 100644
--- a/src/parser/let-funcs.cpp
+++ b/src/parser/let-funcs.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/parser/main.cpp b/src/parser/main.cpp
index 93a9370..890a0ee 100644
--- a/src/parser/main.cpp
+++ b/src/parser/main.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/parser/smtlib.y b/src/parser/smtlib.y
index 541e763..67f82a8 100644
--- a/src/parser/smtlib.y
+++ b/src/parser/smtlib.y
@@ -1,6 +1,6 @@
 %{
   /********************************************************************
-   * AUTHORS: Vijay Ganesh, David L. Dill
+   * AUTHORS: Vijay Ganesh
    *
    * BEGIN DATE: July, 2006
    *
diff --git a/src/simplifier/bvsolver.cpp b/src/simplifier/bvsolver.cpp
index f873d4e..2447789 100644
--- a/src/simplifier/bvsolver.cpp
+++ b/src/simplifier/bvsolver.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/simplifier/bvsolver.h b/src/simplifier/bvsolver.h
index c19b529..1d4409b 100644
--- a/src/simplifier/bvsolver.h
+++ b/src/simplifier/bvsolver.h
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *
diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 4a6b7af..9f94bd2 100644
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -1,5 +1,5 @@
 /********************************************************************
- * AUTHORS: Vijay Ganesh, David L. Dill
+ * AUTHORS: Vijay Ganesh
  *
  * BEGIN DATE: November, 2005
  *