From: Andrea Asperti Date: Tue, 15 May 2001 09:31:15 +0000 (+0000) Subject: Lambda notazione. X-Git-Tag: v0_1_3~155 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=03d580b649e5e3cfdb1df8640ffc66c1915695c2;hp=693937ecc156f6670572d555330b825652d35671;p=helm.git Lambda notazione. --- 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 @@ +