X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2a5efeb991560de98c15d90ecdf0981b6b168aa0;hb=ab0d181f9a89f461a9c280f42a949a2dc2abe44c;hp=c41d2132cbc9064cadfbf8b26ae5f79d841f0fcc;hpb=9ffbf46176fb5f81768255992e46e69689663d69;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c41d2132c..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,6 +446,20 @@
+
+
+
+ |
+ parallel computation for "big tree" normal forms |
+ fpns ( â¦?,?,?⦠⢠ââ¡*[?,?] â¦?,?,?⦠) |
+ fpns_fpns |
+
+
+ |
+
+
+ |
+
@@ -485,7 +499,7 @@
|
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
- fpbs_lift fpbs_fpbs |
+ fpbs_lift fpbs_fleq fpbs_fpbs |
|
@@ -634,7 +648,7 @@
context-sensitive extended reduction |
lpx ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lpx_ldrop lpx_aaa |
+ lpx_ldrop lpx_aaa lpx_lpx |
|
@@ -650,7 +664,7 @@
cpx ( â¦?,?⦠⢠? â¡[?,?] ? ) |
- cpx_lift cpx_cix |
+ cpx_lift cpx_cix cpx_cpx |
|
@@ -965,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 |
+
+
+ |
|
@@ -1178,6 +1222,6 @@
- Last update: Sat, 26 Oct 2013 19:48:51 +0200
+ Last update: Mon, 25 Nov 2013 15:44:49 +0100