diff -r 704fd8749dad -r ca4ddf26a7c7 README --- a/README Thu Sep 21 14:33:13 2017 +0100 +++ b/README Fri Sep 22 03:08:30 2017 +0100 @@ -13,7 +13,7 @@ Implementation.thy Properties interesting for an implementation. -The repository can be checked using Isabelle 2013-2. +The repository can be checked using Isabelle 2016. isabelle build -c -v -d . PIP