- href="download/lambda_delta_1.tar.gz"><span
- style="font-style: italic;">lambda_delta_1</span></a> (revised <span
- style="font-weight: bold;">2011-09</span>).
-Formal specification with the proof assistant <span
- style="font-weight: bold;">Coq 7.3.1</span> (source
+ href="download/lambda_delta_1.tar.gz"><span style="font-style: italic;">lambda_delta_1</span></a>
+(revised <span style="font-weight: bold;">2011-09</span>).
+Formal specification for <span style="font-weight: bold;">Coq 7.3.1</span>
+(source