diff --git a/README.md b/README.md
index c5ec8f299..bfaae6ccb 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,3 @@
-!UNDER CONSTRUCTION!
-====================
-
-The proofs are in the process of being updated to Isabelle2015.
-
-Here be dragons.
-
-
 [The L4.verified Proofs][1]
 ===========================