X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=3e206b50d22415300cf5fea6667a652e35cae2ce;hb=e8ed2cbff6d25964309a3d3e63568feecb70a666;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..3e206b50d 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -235,7 +235,7 @@
@@ -413,7 +413,7 @@
strongly normalizing "big tree" computation |
fsb ( �,?⦠⢠⦥[?,?] ? ) |
fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
- fsb_csx |
+ fsb_fleq fsb_csx |
|
@@ -485,7 +485,7 @@
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
- fpbs_lift fpbs_fpbs |
+ fpbs_lift fpbs_fleq fpbs_fpbs |
|
@@ -972,6 +972,20 @@
+
+
+
+ |
+ lazy equivalence for closures |
+ fleq ( â¦?,?,?⦠â â¦?,?,?⦠) |
+ fleq_fleq |
+
+
+ |
+
+
+ |
+
@@ -1178,6 +1192,6 @@
- Last update: Sat, 26 Oct 2013 19:48:51 +0200
+ Last update: Sun, 27 Oct 2013 22:23:38 +0100
|