-denomination "lambda-delta" changes to "lambda_delta".</li>
- <ul>
- <li>The character "-" is reserved in λδ textual syntax
-(recognized by <span style="font-style: italic;">Helena 0.8.1</span>).<br>
- </li>
- <li>Eventually, the occurrences of the character "-" will be
-replaced by "_" in all λδ-related identifiers.</li>
- <li>In particular, this refactoring involves file names and
+denomination "lambda-delta" changes to "lambda_delta".
+ <ul>
+ <li>The character "-" is reserved in λδ textual syntax
+(recognized by <span style="font-style: italic;">Helena 0.8.1</span>).
+ </li>
+ <li>Eventually, the occurrences of the character "-" will
+be replaced by "_" in all λδ-related identifiers.</li>
+ <li>In particular, this refactoring involves file names and