X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2a5efeb991560de98c15d90ecdf0981b6b168aa0;hb=ab0d181f9a89f461a9c280f42a949a2dc2abe44c;hp=90626c51e23fcd5d64f2b821392932e9ad3ae441;hpb=927c2df92f636c6bdfd358e4c3c430ce98755bc7;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 90626c51e..2a5efeb99 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -163,29 +163,29 @@
@@ -413,7 +413,7 @@
strongly normalizing "big tree" computation |
fsb ( �,?⦠⢠⦥[?,?] ? ) |
fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
- fsb_csx |
+ fsb_fleq fsb_csx |
|
@@ -446,14 +446,46 @@
+
+
+
+ |
+ parallel computation for "big tree" normal forms |
+ fpns ( â¦?,?,?⦠⢠ââ¡*[?,?] â¦?,?,?⦠) |
+ fpns_fpns |
+
+
+ |
+
+
+ |
+
|
"big tree" parallel computation |
+ fpbr ( â¦?,?,?⦠ââ¥[?,?] â¦?,?,?⦠) |
+ fpbr_fpbr |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
fpbg ( �,?,?⦠>[?,?] �,?,?⦠) |
- fpbg_alt |
fpbg_lift fpbg_fpbg |
+
+
+ |
|
@@ -467,7 +499,7 @@
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
- fpbs_lift fpbs_fpbs |
+ fpbs_lift fpbs_fleq fpbs_fpbs |
|
@@ -616,7 +648,7 @@
context-sensitive extended reduction |
lpx ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lpx_ldrop lpx_aaa |
+ lpx_ldrop lpx_aaa lpx_lpx |
|
@@ -632,7 +664,7 @@
cpx ( â¦?,?⦠⢠? â¡[?,?] ? ) |
- cpx_lift cpx_cix |
+ cpx_lift cpx_cix cpx_cpx |
|
@@ -866,8 +898,10 @@
iterated structural successor for closures |
fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
- fqus_alt |
- fqus_fqus |
+ fqus_alt fqus_fqus |
+
+
+ |
|
@@ -945,9 +979,39 @@
relocation |
structural successor for closures |
- fqu ( â¦?,?,?⦠â â¦?,?,?⦠) |
- fquq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
+ fquq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
fquq_alt ( â¦?,?,?⦠ââ⸮ â¦?,?,?⦠) |
+ fquq_fquq |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ fqu ( â¦?,?,?⦠â â¦?,?,?⦠) |
+ fqu_fqu |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+ lazy equivalence for local environments |
+ lleq ( ? â[?] ? ) |
+ lleq_fleq |
+
+
+ |
|
@@ -1158,6 +1222,6 @@
- Last update: Thu, 24 Oct 2013 23:58:51 +0200
+ Last update: Mon, 25 Nov 2013 15:44:49 +0100