X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fnuprl_stylesheets%2Fnuprl_content_to_html2.xsl;h=ef15f1961ab592f13a804062a9e9a558cba2f7ea;hb=758dbd74dccfb2491b59e4267600caf1d485e77a;hp=d45eb8b0019aa22095ba2cab137ce9a857c73394;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
index d45eb8b00..ef15f1961 100644
--- a/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
+++ b/helm/nuprl_stylesheets/nuprl_content_to_html2.xsl
@@ -34,7 +34,7 @@
-
+
@@ -73,96 +73,96 @@
- "
- ∀
+ "
+ ∀
???
- l
- λ
+ l
+ λ
???
- Õ
- Π
+ Õ
+ Π
???
- ®
- →
+ ®
+ →
???
- Þ
- ⇒
+ Þ
+ ⇒
???
- S
- Σ
+ S
+ Σ
???
- Î
- ∈
+ Î
+ ∈
???
- Ç
- ∩
+ Ç
+ ∩
???
- I
- Ι
+ I
+ Ι
???
- N
- Ν
+ N
+ Ν
???
- î
- ⇒
+ î
+ ⇒
???
-
+
- $
- ∃
+ $
+ ∃
???
@@ -175,7 +175,7 @@
-
+
@@ -2314,7 +2314,7 @@
-
+
@@ -2476,7 +2476,7 @@
-
+
@@ -2785,10 +2785,7 @@
By
-
-
-
-
+ Tactic Details
Details
@@ -2847,6 +2844,14 @@
+
+
+
+
+ :=
+
+
+