X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=90626c51e23fcd5d64f2b821392932e9ad3ae441;hb=927c2df92f636c6bdfd358e4c3c430ce98755bc7;hp=2fd65b8cd1e980dca197760d1c519ce671381393;hpb=2ce98dc56948742e1d27ca4a8b96a3501962d968;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 2fd65b8cd..90626c51e 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -163,29 +163,29 @@
sizes |
files |
- 268 |
+ 282 |
characters |
- 407502 |
+ 424295 |
nodes |
- 1213911 |
+ 1238363 |
propositions |
theorems |
- 83 |
+ 91 |
lemmas |
- 826 |
+ 863 |
total |
- 909 |
+ 954 |
concepts |
declared |
- 44 |
+ 47 |
defined |
- 81 |
+ 85 |
total |
- 125 |
+ 132 |
@@ -410,7 +410,19 @@
|
- strongly normalizing computation |
+ strongly normalizing "big tree" computation |
+ fsb ( �,?⦠⢠⦥[?,?] ? ) |
+ fsb_alt ( �,?⦠⢠⦥⦥[?,?] ? ) |
+ fsb_csx |
+
+
+ |
+
+
+
+
+ |
+ strongly normalizing extended computation |
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ? ) |
csx_tstc_vector csx_aaa |
@@ -440,10 +452,8 @@
|
"big tree" parallel computation |
fpbg ( �,?,?⦠>[?,?] �,?,?⦠) |
+ fpbg_alt |
fpbg_lift fpbg_fpbg |
-
-
- |
|
@@ -856,10 +866,8 @@
iterated structural successor for closures |
fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
+ fqus_alt |
fqus_fqus |
-
-
- |
|
@@ -1150,6 +1158,6 @@
- Last update: Sat, 12 Oct 2013 19:38:34 +0200
+ Last update: Thu, 24 Oct 2013 23:58:51 +0200