From 03d580b649e5e3cfdb1df8640ffc66c1915695c2 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Tue, 15 May 2001 09:31:15 +0000 Subject: [PATCH] Lambda notazione. --- helm/style/content_to_html.xsl | 254 ++++++++++++++++++++++++++++++++- helm/style/headercontent.xsl | 1 + 2 files changed, 254 insertions(+), 1 deletion(-) diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index ecc63d53a..71a82f613 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -297,7 +297,132 @@  hence  - + + + + [ + + + + ¬ + + + + ] + + + + + + + + + ­ + + + + + + ( + + ) + + + + + + ­ + + + + + + ( + + ) + + + + + + + + ® + + + + b + + + + + + + + + + + ® + + + + b* + + + + + + + + + + + Þ + + + + b + + + + + + + + + + + Þ + + + + b* + + + + + + + + + | + + | + + + + + + + + + + @ + + + + + [ @@ -1061,6 +1186,133 @@ + + + + + + [ + + + + ¬ + + + + ] + + + + + + + + + ­ + + + + + + ( + + ) + + + + + + ­ + + + + + + ( + + ) + + + + + + + + ® + + + + b + + + + + + + + + + + ® + + + + b* + + + + + + + + + + + Þ + + + + b + + + + + + + + + + + Þ + + + + b* + + + + + + + + + | + + | + + + + + + + + + + @ + + + + diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl index 760010530..a46023db5 100644 --- a/helm/style/headercontent.xsl +++ b/helm/style/headercontent.xsl @@ -37,5 +37,6 @@ + -- 2.39.2