3 files changed, 38 insertions, 8 deletions
diff --git a/src/api/python/CMakeLists.txt b/src/api/python/CMakeLists.txt
index 1998954e5..dde29110f 100644
--- a/src/api/python/CMakeLists.txt
+++ b/src/api/python/CMakeLists.txt
@@ -1,3 +1,13 @@
+#####################
+## CMakeLists.txt
+## Top contributors (to current version):
+##   Makai Mann
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 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.
+##
 if(POLICY CMP0057)
   # For cmake >= 3.3 this policy changed the behavior of IN_LIST
   # if the policy exists, we use the NEW behavior
diff --git a/src/api/python/genkinds.py b/src/api/python/genkinds.py
index 77b168dea..6f54657a8 100755..100644
--- a/src/api/python/genkinds.py
+++ b/src/api/python/genkinds.py
@@ -1,4 +1,14 @@
 #!/usr/bin/env python
+#####################
+## genkinds.py
+## Top contributors (to current version):
+##   Makai Mann
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 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.
+##
 """
 This script reads CVC4/src/api/cvc4cppkind.h and generates
 .pxd and .pxi files which declare all the CVC4 kinds and
diff --git a/src/api/python/setup.py.in b/src/api/python/setup.py.in
index 079aa468e..0138da034 100644
--- a/src/api/python/setup.py.in
+++ b/src/api/python/setup.py.in
@@ -1,12 +1,22 @@
 #!/usr/bin/env python
-
-# This script is automatically configured with cmake when CVC4
-# is built with --python-bindings. It is called during make
-# install to automatically install the python bindings using
-# distutils.
-# If it is called from a python virtualenv, the bindings are
-# installed in the virtualenv, otherwise, it respects the
-# configured install prefix using the setup.py --prefix option
+#####################
+## setup.py.in
+## Top contributors (to current version):
+##   Makai Mann
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 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.
+##
+## This script is automatically configured with cmake when CVC4
+## is built with --python-bindings. It is called during make
+## install to automatically install the python bindings using
+## distutils.
+## If it is called from a python virtualenv, the bindings are
+## installed in the virtualenv, otherwise, it respects the
+## configured install prefix using the setup.py --prefix option
+##
 
 from distutils.core import setup
 from distutils.command.clean import clean