update copyrights

75 files changed, 287 insertions, 299 deletions

diff --git a/src/util/abstract_value.cpp b/src/util/abstract_value.cpp
index a7d5f597f..63ae73008 100644
--- a/src/util/abstract_value.cpp
+++ b/src/util/abstract_value.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file abstract_value.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/abstract_value.h b/src/util/abstract_value.h
index da9f2827a..3a4a61106 100644
--- a/src/util/abstract_value.h
+++ b/src/util/abstract_value.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file abstract_value.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/array.h b/src/util/array.h
index b28d1f331..22d6f2696 100644
--- a/src/util/array.h
+++ b/src/util/array.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file array.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/array_store_all.cpp b/src/util/array_store_all.cpp
index 957fea2a2..b9527919a 100644
--- a/src/util/array_store_all.cpp
+++ b/src/util/array_store_all.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file array_store_all.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/array_store_all.h b/src/util/array_store_all.h
index cd51ba59a..6ec076cf0 100644
--- a/src/util/array_store_all.h
+++ b/src/util/array_store_all.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file array_store_all.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/ascription_type.h b/src/util/ascription_type.h
index 37b46190f..ecdd8f5aa 100644
--- a/src/util/ascription_type.h
+++ b/src/util/ascription_type.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file ascription_type.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/backtrackable.h b/src/util/backtrackable.h
index 4364a27b7..ff94e2bbc 100644
--- a/src/util/backtrackable.h
+++ b/src/util/backtrackable.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file backtrackable.h
  ** \verbatim
- ** Original author: lianah
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index c9661c0c7..b4088d725 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file bitvector.h
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: mdeters, lianah
- ** Minor contributors (to current version): cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>
+ ** Minor contributors (to current version): lianah <lianahady@gmail.com>, Christopher L. Conway <christopherleeconway@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/bool.h b/src/util/bool.h
index f486a92a0..c7ca69544 100644
--- a/src/util/bool.h
+++ b/src/util/bool.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file bool.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/boolean_simplification.cpp b/src/util/boolean_simplification.cpp
index 2f61d8c8d..e6aecf84f 100644
--- a/src/util/boolean_simplification.cpp
+++ b/src/util/boolean_simplification.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file boolean_simplification.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/boolean_simplification.h b/src/util/boolean_simplification.h
index 06f87661a..d540f2853 100644
--- a/src/util/boolean_simplification.h
+++ b/src/util/boolean_simplification.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file boolean_simplification.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/cache.h b/src/util/cache.h
index 245eb2e24..88d1bde1a 100644
--- a/src/util/cache.h
+++ b/src/util/cache.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cache.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/cardinality.cpp b/src/util/cardinality.cpp
index 36f09f137..09046629a 100644
--- a/src/util/cardinality.cpp
+++ b/src/util/cardinality.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cardinality.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/cardinality.h b/src/util/cardinality.h
index c9d051c9e..4f8b87331 100644
--- a/src/util/cardinality.h
+++ b/src/util/cardinality.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cardinality.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/channel.h b/src/util/channel.h
index 3fdafafb4..ea7214499 100644
--- a/src/util/channel.h
+++ b/src/util/channel.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file channel.h
  ** \verbatim
- ** Original author: kshitij
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index ce6273a13..0ecfbd561 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file configuration.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): lianah, acsys, cconway, dejan, bobot
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com>, ACSYS <cvc4-devel@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>, Dejan Jovanović <dejan.jovanovic@gmail.com>, François Bobot <francois@bobot.eu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/configuration.h b/src/util/configuration.h
index c85f62f7f..9a642303c 100644
--- a/src/util/configuration.h
+++ b/src/util/configuration.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file configuration.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): acsys, lianah, bobot
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): ACSYS <cvc4-devel@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>, François Bobot <francois@bobot.eu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h
index 7c94f4c18..34e916950 100644
--- a/src/util/configuration_private.h
+++ b/src/util/configuration_private.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file configuration_private.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: acsys
- ** Minor contributors (to current version): lianah, cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Major contributors: ACSYS <cvc4-devel@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Liana Hadarean <lianahady@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/cvc4_assert.cpp b/src/util/cvc4_assert.cpp
index 203a75d12..0fccfb94e 100644
--- a/src/util/cvc4_assert.cpp
+++ b/src/util/cvc4_assert.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cvc4_assert.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/cvc4_assert.h b/src/util/cvc4_assert.h
index d3a85d7d1..aaf140489 100644
--- a/src/util/cvc4_assert.h
+++ b/src/util/cvc4_assert.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file cvc4_assert.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): acsys
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): ACSYS <cvc4-devel@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp
index 574a57f19..237cc197f 100644
--- a/src/util/datatype.cpp
+++ b/src/util/datatype.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file datatype.cpp
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: ajreynol
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/datatype.h b/src/util/datatype.h
index 4b6894ef8..ae575a377 100644
--- a/src/util/datatype.h
+++ b/src/util/datatype.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file datatype.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): ajreynol
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/debug.h b/src/util/debug.h
index 81ce491b7..44a7d490c 100644
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file debug.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/dense_map.h b/src/util/dense_map.h
index b7d690811..b1c8dd40c 100644
--- a/src/util/dense_map.h
+++ b/src/util/dense_map.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file dense_map.h
  ** \verbatim
- ** Original author: taking
+ ** Original author: Tim King <taking@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/dump.cpp b/src/util/dump.cpp
index 2b7ea69f5..c9667f695 100644
--- a/src/util/dump.cpp
+++ b/src/util/dump.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file dump.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/dump.h b/src/util/dump.h
index 7c8a14d83..58f649273 100644
--- a/src/util/dump.h
+++ b/src/util/dump.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file dump.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/dynamic_array.h b/src/util/dynamic_array.h
index c30320156..a66a883fc 100644
--- a/src/util/dynamic_array.h
+++ b/src/util/dynamic_array.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file dynamic_array.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/exception.cpp b/src/util/exception.cpp
index 92f5c1840..7a2a12ea0 100644
--- a/src/util/exception.cpp
+++ b/src/util/exception.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file exception.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/exception.h b/src/util/exception.h
index b367f20e5..91840addd 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file exception.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/gmp_util.h b/src/util/gmp_util.h
index f35bec687..b52beff62 100644
--- a/src/util/gmp_util.h
+++ b/src/util/gmp_util.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file gmp_util.h
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: mdeters
- ** Minor contributors (to current version): taking
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/hash.h b/src/util/hash.h
index 913358512..c86dde528 100644
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file hash.h
  ** \verbatim
- ** Original author: cconway
- ** Major contributors: mdeters
- ** Minor contributors (to current version): taking
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/index.h b/src/util/index.h
index 252f7066b..f34b9ab89 100644
--- a/src/util/index.h
+++ b/src/util/index.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file index.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): lianah <lianahady@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/integer.h.in b/src/util/integer.h.in
index 27b589b5a..9067e2340 100644
--- a/src/util/integer.h.in
+++ b/src/util/integer.h.in
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file integer.h.in
  ** \verbatim
- ** Original author: taking
- ** Major contributors: none
- ** Minor contributors (to current version): dejan, cconway, mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index 81c0428cb..982bf749e 100644
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file integer_cln_imp.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: lianah, mdeters
- ** Minor contributors (to current version): dejan
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Liana Hadarean <lianahady@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h
index 9a7878066..a292dd949 100644
--- a/src/util/integer_gmp_imp.h
+++ b/src/util/integer_gmp_imp.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file integer_gmp_imp.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: lianah, mdeters
- ** Minor contributors (to current version): dejan
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Liana Hadarean <lianahady@gmail.com>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/ite_removal.cpp b/src/util/ite_removal.cpp
index de7ae2e97..1330408c7 100644
--- a/src/util/ite_removal.cpp
+++ b/src/util/ite_removal.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file ite_removal.cpp
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: mdeters
- ** Minor contributors (to current version): barrett
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/ite_removal.h b/src/util/ite_removal.h
index 6c0c74cd4..c7c9025bd 100644
--- a/src/util/ite_removal.h
+++ b/src/util/ite_removal.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file ite_removal.h
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: kshitij, mdeters
- ** Minor contributors (to current version): barrett
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Kshitij Bansal <kshitij@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Andrew Reynolds <andrew.j.reynolds@gmail.com>, Clark Barrett <barrett@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/language.cpp b/src/util/language.cpp
index fae9527b6..74d44e093 100644
--- a/src/util/language.cpp
+++ b/src/util/language.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file language.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): bobot
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): François Bobot <francois@bobot.eu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/language.h b/src/util/language.h
index c5eb26c41..e087a8326 100644
--- a/src/util/language.h
+++ b/src/util/language.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file language.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): bobot
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): François Bobot <francois@bobot.eu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/lemma_input_channel.h b/src/util/lemma_input_channel.h
index 44ab05a41..ec6e7247d 100644
--- a/src/util/lemma_input_channel.h
+++ b/src/util/lemma_input_channel.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file lemma_input_channel.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/lemma_output_channel.h b/src/util/lemma_output_channel.h
index 47ba7c346..c1ec1e6c5 100644
--- a/src/util/lemma_output_channel.h
+++ b/src/util/lemma_output_channel.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file lemma_output_channel.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/matcher.h b/src/util/matcher.h
index 78738e27f..13bec9fc3 100644
--- a/src/util/matcher.h
+++ b/src/util/matcher.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file matcher.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: ajreynol
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/node_visitor.h b/src/util/node_visitor.h
index 4c8e646bd..a5ea0a26a 100644
--- a/src/util/node_visitor.h
+++ b/src/util/node_visitor.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file node_visitor.h
  ** \verbatim
- ** Original author: dejan
- ** Major contributors: mdeters, lianah
+ ** Original author: Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** Major contributors: Liana Hadarean <lianahady@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/ntuple.h b/src/util/ntuple.h
index a57a2c9c4..b87003a06 100644
--- a/src/util/ntuple.h
+++ b/src/util/ntuple.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file ntuple.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: lianah
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/output.cpp b/src/util/output.cpp
index 834609a55..71aba1f6c 100644
--- a/src/util/output.cpp
+++ b/src/util/output.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file output.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/output.h b/src/util/output.h
index 0b89980f2..dbf8b1c8a 100644
--- a/src/util/output.h
+++ b/src/util/output.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file output.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): taking, dejan
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/predicate.cpp b/src/util/predicate.cpp
index 7eeb412ba..75cfe9be6 100644
--- a/src/util/predicate.cpp
+++ b/src/util/predicate.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file predicate.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/predicate.h b/src/util/predicate.h
index b4a9ff131..9010072ba 100644
--- a/src/util/predicate.h
+++ b/src/util/predicate.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file predicate.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/proof.h b/src/util/proof.h
index 9d189e994..585c75dad 100644
--- a/src/util/proof.h
+++ b/src/util/proof.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file proof.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/rational.h.in b/src/util/rational.h.in
index 7f5b1feb4..2ff0b4950 100644
--- a/src/util/rational.h.in
+++ b/src/util/rational.h.in
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file rational.h.in
  ** \verbatim
- ** Original author: taking
- ** Major contributors: none
- ** Minor contributors (to current version): dejan, mdeters, cconway
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/rational_cln_imp.cpp b/src/util/rational_cln_imp.cpp
index 72c2dc8d6..0eaac26b3 100644
--- a/src/util/rational_cln_imp.cpp
+++ b/src/util/rational_cln_imp.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file rational_cln_imp.cpp
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h
index 88327b400..885625830 100644
--- a/src/util/rational_cln_imp.h
+++ b/src/util/rational_cln_imp.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file rational_cln_imp.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
- ** Minor contributors (to current version): dejan
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/rational_gmp_imp.cpp b/src/util/rational_gmp_imp.cpp
index c563258bd..ba57fcfe1 100644
--- a/src/util/rational_gmp_imp.cpp
+++ b/src/util/rational_gmp_imp.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file rational_gmp_imp.cpp
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>, Christopher L. Conway <christopherleeconway@gmail.com>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h
index 787f21ecd..be4fea749 100644
--- a/src/util/rational_gmp_imp.h
+++ b/src/util/rational_gmp_imp.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file rational_gmp_imp.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
- ** Minor contributors (to current version): dejan
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Tim King <taking@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/record.cpp b/src/util/record.cpp
index f3dc29f81..222453b23 100644
--- a/src/util/record.cpp
+++ b/src/util/record.cpp
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file record.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/record.h b/src/util/record.h
index 27b090e1d..0aab6bdc4 100644
--- a/src/util/record.h
+++ b/src/util/record.h
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file record.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/recursion_breaker.h b/src/util/recursion_breaker.h
index ffb2f27d7..5d28878e1 100644
--- a/src/util/recursion_breaker.h
+++ b/src/util/recursion_breaker.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file recursion_breaker.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/result.cpp b/src/util/result.cpp
index 6a32747cb..b8f940314 100644
--- a/src/util/result.cpp
+++ b/src/util/result.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file result.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/result.h b/src/util/result.h
index fd1d82d9b..bb7418d1e 100644
--- a/src/util/result.h
+++ b/src/util/result.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file result.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
- ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp
index ef080d1c4..a7b12c359 100644
--- a/src/util/sexpr.cpp
+++ b/src/util/sexpr.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sexpr.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index e9ea83aa1..c7bdd250b 100644
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file sexpr.h
  ** \verbatim
- ** Original author: cconway
- ** Major contributors: mdeters
- ** Minor contributors (to current version): dejan, taking
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Christopher L. Conway <christopherleeconway@gmail.com>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/statistics.cpp b/src/util/statistics.cpp
index 6858f7bae..c5215ab34 100644
--- a/src/util/statistics.cpp
+++ b/src/util/statistics.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file statistics.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/statistics.h b/src/util/statistics.h
index 9ad925f55..11b2d70f7 100644
--- a/src/util/statistics.h
+++ b/src/util/statistics.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file statistics.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/statistics_registry.cpp b/src/util/statistics_registry.cpp
index b86b557e2..8c7edfff0 100644
--- a/src/util/statistics_registry.cpp
+++ b/src/util/statistics_registry.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file statistics_registry.cpp
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/statistics_registry.h b/src/util/statistics_registry.h
index af9088663..5caddf14f 100644
--- a/src/util/statistics_registry.h
+++ b/src/util/statistics_registry.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file statistics_registry.h
  ** \verbatim
- ** Original author: taking
- ** Major contributors: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/subrange_bound.h b/src/util/subrange_bound.h
index 1ef6bd513..f5b711175 100644
--- a/src/util/subrange_bound.h
+++ b/src/util/subrange_bound.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file subrange_bound.h
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: taking
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Major contributors: Tim King <taking@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/tls.h.in b/src/util/tls.h.in
index 935586f77..a5af4a4c5 100644
--- a/src/util/tls.h.in
+++ b/src/util/tls.h.in
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file tls.h.in
  ** \verbatim
- ** Original author: mdeters
- ** Major contributors: none
+ ** Original author: ACSYS <cvc4-devel@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/trans_closure.cpp b/src/util/trans_closure.cpp
index c4a760221..39aff5855 100644
--- a/src/util/trans_closure.cpp
+++ b/src/util/trans_closure.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file trans_closure.cpp
  ** \verbatim
- ** Original author: barrett
- ** Major contributors: ajreynol
- ** Minor contributors (to current version): dejan, mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Clark Barrett <barrett@cs.nyu.edu>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/trans_closure.h b/src/util/trans_closure.h
index ac89a7920..459ed0d68 100644
--- a/src/util/trans_closure.h
+++ b/src/util/trans_closure.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file trans_closure.h
  ** \verbatim
- ** Original author: barrett
- ** Major contributors: ajreynol
- ** Minor contributors (to current version): dejan, mdeters
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Clark Barrett <barrett@cs.nyu.edu>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>
+ ** Minor contributors (to current version): Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/tuple.h b/src/util/tuple.h
index 6c1e981a4..2c5b94b7c 100644
--- a/src/util/tuple.h
+++ b/src/util/tuple.h
@@ -1,13 +1,11 @@
 /*********************                                                        */
 /*! \file tuple.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  The Analysis of Computer Systems Group (ACSys)
- ** Courant Institute of Mathematical Sciences
- ** New York University
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/uninterpreted_constant.cpp b/src/util/uninterpreted_constant.cpp
index b8ccbd471..e1f2b640b 100644
--- a/src/util/uninterpreted_constant.cpp
+++ b/src/util/uninterpreted_constant.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file uninterpreted_constant.cpp
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/uninterpreted_constant.h b/src/util/uninterpreted_constant.h
index cc445b387..2801cddc8 100644
--- a/src/util/uninterpreted_constant.h
+++ b/src/util/uninterpreted_constant.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file uninterpreted_constant.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/util_model.cpp b/src/util/util_model.cpp
index 0c058fce9..c64f45cd8 100644
--- a/src/util/util_model.cpp
+++ b/src/util/util_model.cpp
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file util_model.cpp
  ** \verbatim
- ** Original author: barrett
- ** Major contributors: mdeters
+ ** Original author: Clark Barrett <barrett@cs.nyu.edu>
+ ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/util_model.h b/src/util/util_model.h
index 21c3fb400..3f1c00b36 100644
--- a/src/util/util_model.h
+++ b/src/util/util_model.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file util_model.h
  ** \verbatim
- ** Original author: barrett
- ** Major contributors: mdeters
- ** Minor contributors (to current version): ajreynol
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** Original author: Clark Barrett <barrett@cs.nyu.edu>
+ ** Major contributors: Andrew Reynolds <andrew.j.reynolds@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **
diff --git a/src/util/utility.h b/src/util/utility.h
index 089be478d..ab3319596 100644
--- a/src/util/utility.h
+++ b/src/util/utility.h
@@ -1,11 +1,11 @@
 /*********************                                                        */
 /*! \file utility.h
  ** \verbatim
- ** Original author: mdeters
+ ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
  ** Major contributors: none
  ** Minor contributors (to current version): none
- ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009-2012  New York University and The University of Iowa
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
  **