diff -r a42c773ec8ab -r 841f7b9c0a6a thys/README
--- a/thys/README	Tue May 17 14:28:22 2016 +0100
+++ b/thys/README	Wed May 18 15:57:46 2016 +0100
@@ -1,9 +1,10 @@
 Theories:
 =========
 
- ReStar.thy
+ Lexer.thy
+ Simplifying.thy
 
-The repository can be checked using Isabelle 2014.
+The repository can be checked using Isabelle 2016.
 
   isabelle build -c -v -d . Lex