@ -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]
===========================