X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2a5efeb991560de98c15d90ecdf0981b6b168aa0;hb=ab0d181f9a89f461a9c280f42a949a2dc2abe44c;hp=0feebff7feea6cccf897254f76882eee7067d40b;hpb=f725a35c9014595293cfe43081ef11b059d5e3a7;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 0feebff7f..2a5efeb99 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -163,29 +163,29 @@
sizes |
files |
- 289 |
+ 293 |
characters |
- 434918 |
+ 441375 |
nodes |
- 1278564 |
+ 1286916 |
propositions |
theorems |
- 90 |
+ 91 |
lemmas |
- 881 |
+ 888 |
total |
- 971 |
+ 979 |
concepts |
declared |
- 48 |
+ 49 |
defined |
85 |
total |
- 133 |
+ 134 |
@@ -446,6 +446,20 @@
+
+
+
+ |
+ parallel computation for "big tree" normal forms |
+ fpns ( â¦?,?,?⦠⢠ââ¡*[?,?] â¦?,?,?⦠) |
+ fpns_fpns |
+
+
+ |
+
+
+ |
+
@@ -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 |
|
@@ -1208,6 +1222,6 @@
- Last update: Fri, 01 Nov 2013 17:48:10 +0100
+ Last update: Mon, 25 Nov 2013 15:44:49 +0100