Remove experiment

Author: davidcok

tutorial/Postconditions.md

@@ -2,20 +2,6 @@
 title: JML Tutorial - Postconditions (ensures clauses)
 ---
 
-<!--
-<div style="display: flex; justify-content: space-between;">
-    <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis;">
-        <a href="index.html">&lt;&lt;&lt; Previous</a>
-    </div>
-    <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; text-align:center;">
-        <a href="index.html">TOC</a>
-    </div>
-    <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; text-align:right;">
-        <a href="Preconditions.html">Next &gt;&gt;&gt;</a>
-    </div>
-</div>
--->
-
 A method's specification states _what_ the method does,
 but not _how_ it is done. The effect of a method is
 stated in its _postcondition_, which is written in an