diff -r ee1caac29bb2 -r 496a37d816e9 thys/README --- a/thys/README Sun Feb 10 21:53:57 2019 +0000 +++ b/thys/README Mon Feb 11 14:36:23 2019 +0000 @@ -4,7 +4,7 @@ Lexer.thy Simplifying.thy -The repository can be checked using Isabelle 2016. +The repository can be checked using Isabelle 2017. isabelle build -c -v -d . Lex