<topitem name="source1">
<body>
<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
- (revised <notice class="delta" notice="2015-01"/>).
+ (revised <notice class="delta" notice="2015-09"/>).
Source scripts.
<list><item>
<notice class="delta" notice="2015 January 15."/>