--- a/src/HOL/TPTP/CASC/SysDesc_Nitpick.html	Wed Dec 14 18:52:17 2016 +0100
+++ b/src/HOL/TPTP/CASC/SysDesc_Nitpick.html	Thu Dec 15 15:05:35 2016 +0100
@@ -1,11 +1,11 @@
 <HR><!------------------------------------------------------------------------>
-<H2>Nitpick 2015</H2>
+<H2>Nitpick 2016-1</H2>
 Jasmin C. Blanchette<BR>
 Technische Universit&auml;t M&uuml;nchen, Germany <BR>
 
 <H3>Architecture</H3>
 
-Nitpick [<A HREF="#References">BN10</A>] is an open source counterexample 
+Nitpick [<A HREF="#References">BN10</A>] is an open source counterexample
 generator for Isabelle/HOL [<A HREF="#References">NPW13</A>]. It builds on
 Kodkod [<A HREF="#References">TJ07</A>], a highly optimized first-order
 relational model finder based on SAT. The name Nitpick is appropriated from a