>
<sitemap name="sitemap"/>
- <section5 name="specifications">Computer-checked formal specifications</section5>
+ <section15 name="specifications">Computer-checked formal specifications</section15>
<body>
λδ is developed as a machine-checked digital specification.
It comes in several versions listed in the next table,