diff options
| author | Tim King <taking@google.com> | 2016-04-03 19:38:06 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-04-03 21:43:08 -0700 |
| commit | 0f69a8ba2286bd5d9b807c10ad350705952e93d6 (patch) | |
| tree | 1a9e851f4abefe56d7c4a0614c232edfd147fa9e /src/proof/theory_proof.h | |
| parent | 208a9989b53c61f7f1f0053e97600dd7e12f8aa5 (diff) | |
Updating the copyright headers and scripts.
Diffstat (limited to 'src/proof/theory_proof.h')
| -rw-r--r-- | src/proof/theory_proof.h | 27 |
1 files changed, 13 insertions, 14 deletions
diff --git a/src/proof/theory_proof.h b/src/proof/theory_proof.h index b04dd4c60..54c86f3f3 100644 --- a/src/proof/theory_proof.h +++ b/src/proof/theory_proof.h @@ -1,19 +1,18 @@ /********************* */ /*! \file theory_proof.h -** \verbatim -** Original author: Liana Hadarean -** Major contributors: Morgan Deters -** Minor contributors (to current version): none -** This file is part of the CVC4 project. -** Copyright (c) 2009-2014 New York University and The University of Iowa -** See the file COPYING in the top-level source directory for licensing -** information.\endverbatim -** -** \brief A manager for UfProofs. -** -** A manager for UfProofs. -** -** + ** \verbatim + ** Top contributors (to current version): + ** Liana Hadarean, Guy Katz, Tim King + ** This file is part of the CVC4 project. + ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS + ** in the top-level source directory) and their institutional affiliations. + ** All rights reserved. See the file COPYING in the top-level source + ** directory for licensing information.\endverbatim + ** + ** [[ Add lengthier description here ]] + + ** \todo document this file + **/ #include "cvc4_private.h" |