# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1506069654 -3600
# Node ID 65b178574112454ae17ab19d4ae755ecb323fc90
# Parent  ca4ddf26a7c76ea139a8c9ef2f58efa04da379f5
updated

diff -r ca4ddf26a7c7 -r 65b178574112 README
--- a/README	Fri Sep 22 03:08:30 2017 +0100
+++ b/README	Fri Sep 22 09:40:54 2017 +0100
@@ -13,7 +13,7 @@
  Implementation.thy      Properties interesting for an implementation.
 
 
-The repository can be checked using Isabelle 2016.
+The repository can be checked using Isabelle 2016-1.
 
   isabelle build -c -v -d . PIP