X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fnuprl_stylesheets%2Fnuprl_html_basic.xsl;h=58478b65149bc569c2bb96573fc000c408d7a67d;hb=3ea21b6d721c759876aa53385b421cb1412e11f5;hp=dfe3a011fe432d79508d7a9f92c8fc81926d0c5e;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_html_basic.xsl b/helm/nuprl_stylesheets/nuprl_html_basic.xsl
index dfe3a011f..58478b651 100644
--- a/helm/nuprl_stylesheets/nuprl_html_basic.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_basic.xsl
@@ -22,56 +22,56 @@
- Ù
- ∧
+ Ù
+ ∧
???
- Ú
- ∨
+ Ú
+ ∨
???
- Û
- ⇔
+ Û
+ ⇔
???
- Ø
- ¬
+ Ø
+ ¬
???
- =
- =
+ =
+ =
???
- ¹
- ≠
+ ¹
+ ≠
???
- $
- ∃
+ $
+ ∃
???