X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=2570adc7381dca131c45e76f09f70fcfe2ed808c;hb=ddce32beebecf9d965e6ad991a08368f52cd9ea1;hp=5ffa0742ab22e605089eb9ccddfc98b84e10c463;hpb=ee35bf33520d92753899985329cc4bfee141b808;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 5ffa0742a..2570adc73 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -2120,8 +2120,45 @@ CONJECTURES:
- :
-
+
+
+
+
+
+
+
+
+ _
+
+
+ :
+
+
+
+
+
+
+
+
+
+
+
+
+ _
+
+
+ :=
+
+
+
+
+
+
+ _ :? _
+
+
+ |- :
+