diff --git a/LICENSE b/LICENSE
index 833c98de..0b558b49 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2013-2016 Galois Inc.
+Copyright (c) 2013-2018 Galois Inc.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/LICENSE.rtf b/LICENSE.rtf
index 2ca3930d..2731cde8 100644
--- a/LICENSE.rtf
+++ b/LICENSE.rtf
@@ -4,7 +4,7 @@
 \margl1440\margr1440\vieww12600\viewh7800\viewkind0
 \pard\tx720\tx1440\tx2160\tx2880\tx3600\tx4320\tx5040\tx5760\tx6480\tx7200\tx7920\tx8640\pardirnatural
 
-\f0\fs24 \cf0 Copyright (c) 2013-2016 Galois Inc.\
+\f0\fs24 \cf0 Copyright (c) 2013-2018 Galois Inc.\
 All rights reserved.\
 \
 Redistribution and use in source and binary forms, with or without\
@@ -34,4 +34,4 @@ PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF\
 LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING\
 NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS\
 SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.\
-}
\ No newline at end of file
+}
diff --git a/docs/ProgrammingCryptol/enigma/Enigma.cry b/docs/ProgrammingCryptol/enigma/Enigma.cry
index b7433f52..3874b3e3 100644
--- a/docs/ProgrammingCryptol/enigma/Enigma.cry
+++ b/docs/ProgrammingCryptol/enigma/Enigma.cry
@@ -1,7 +1,9 @@
-// Cryptol Enigma Simulator
-// Copyright (c) 2010-2016, Galois Inc.
-// www.cryptol.net
-// You can freely use this source code for educational purposes.
+/*
+ * Cryptol Enigma Simulator
+ *
+ * Copyright (c) 2010-2018 Galois, Inc.
+ * Distributed under the terms of the BSD3 license (see LICENSE file)
+ */
 
 // Helper synonyms:
 // type Char        = [8]
diff --git a/docs/ProgrammingCryptol/enigma/Finite.cry b/docs/ProgrammingCryptol/enigma/Finite.cry
index 19e63e32..40e37aac 100644
--- a/docs/ProgrammingCryptol/enigma/Finite.cry
+++ b/docs/ProgrammingCryptol/enigma/Finite.cry
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013-2016 Galois, Inc.
+ * Copyright (c) 2013-2018 Galois, Inc.
  * Distributed under the terms of the BSD3 license (see LICENSE file)
  */
 
diff --git a/docs/ProgrammingCryptol/enigma/Simple.cry b/docs/ProgrammingCryptol/enigma/Simple.cry
index afa11a78..c83b023e 100644
--- a/docs/ProgrammingCryptol/enigma/Simple.cry
+++ b/docs/ProgrammingCryptol/enigma/Simple.cry
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013-2016 Galois, Inc.
+ * Copyright (c) 2013-2018 Galois, Inc.
  * Distributed under the terms of the BSD3 license (see LICENSE file)
  */
 
diff --git a/docs/ProgrammingCryptol/enigma/ticket141.cry b/docs/ProgrammingCryptol/enigma/ticket141.cry
index 9a9661de..e935dd52 100644
--- a/docs/ProgrammingCryptol/enigma/ticket141.cry
+++ b/docs/ProgrammingCryptol/enigma/ticket141.cry
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013-2016 Galois, Inc.
+ * Copyright (c) 2013-2018 Galois, Inc.
  * Distributed under the terms of the BSD3 license (see LICENSE file)
  */
 
diff --git a/docs/ProgrammingCryptol/main/Cryptol.tex b/docs/ProgrammingCryptol/main/Cryptol.tex
index 8e4a21c4..9b261f4e 100644
--- a/docs/ProgrammingCryptol/main/Cryptol.tex
+++ b/docs/ProgrammingCryptol/main/Cryptol.tex
@@ -109,7 +109,7 @@
 \renewcommand{\sectionmark}[1]{\markright{#1}{}}
 \cfoot{}
 \fancyfoot[LE,RO]{\fancyplain{}{\textsf{\thepage}}}
-\fancyfoot[LO,RE]{\fancyplain{}{\textsf{\copyright\ 2010--2016, Galois, Inc.}}}
+\fancyfoot[LO,RE]{\fancyplain{}{\textsf{\copyright\ 2010--2018, Galois, Inc.}}}
 %% \fancyhead[LE]{\fancyplain{}{\textsf{\draftdate}}}
 %% \fancyhead[RO]{\fancyplain{}{\textsf{DO NOT DISTRIBUTE!}}}
 \fancyhead[RO,LE]{\fancyplain{}{}} %% outer
diff --git a/docs/ProgrammingCryptol/preface/Notice.tex b/docs/ProgrammingCryptol/preface/Notice.tex
index 2776dcd8..f2353307 100644
--- a/docs/ProgrammingCryptol/preface/Notice.tex
+++ b/docs/ProgrammingCryptol/preface/Notice.tex
@@ -8,7 +8,7 @@
   appear in this documentation. Of course, we appreciate bug reports
   and clarification suggestions.
 
-  Copyright 2003--2016 Galois, Inc. All rights reserved by Galois,
+  Copyright 2003--2018 Galois, Inc. All rights reserved by Galois,
   Inc.
 
   The software installed in accordance with this documentation is