X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2fd65b8cd1e980dca197760d1c519ce671381393;hb=8913001064f595c21ed4234884e7c370be2afb52;hp=dbef0bf0eb5f602c5f89878950c21c3e1d67a37a;hpb=79340579023e8e6ee8338da90e2aa9eb3d1fc633;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index dbef0bf0e..2fd65b8cd 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -163,29 +163,29 @@
sizes |
files |
- 266 |
+ 268 |
characters |
- 400863 |
+ 407502 |
nodes |
- 1203013 |
+ 1213911 |
propositions |
theorems |
- 81 |
+ 83 |
lemmas |
- 814 |
+ 826 |
total |
- 895 |
+ 909 |
concepts |
declared |
44 |
defined |
- 79 |
+ 81 |
total |
- 123 |
+ 125 |
@@ -456,10 +456,8 @@
fpbs ( â¦?,?,?⦠â¥[?,?] â¦?,?,?⦠) |
+ fpbs_alt ( â¦?,?,?⦠â¥â¥[?,?] â¦?,?,?⦠) |
fpbs_lift fpbs_fpbs |
-
-
- |
|
@@ -857,8 +855,8 @@
iterated structural successor for closures |
- fsups ( â¦?,?,?⦠â* â¦?,?,?⦠) |
- fsups_fsups |
+ fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
+ fqus_fqus |
|
@@ -873,8 +871,8 @@
|
- fsupp ( â¦?,?,?⦠â+ â¦?,?,?⦠) |
- fsupp_fsupp |
+ fqup ( â¦?,?,?⦠â+ â¦?,?,?⦠) |
+ fqup_fqup |
|
@@ -939,9 +937,9 @@
relocation |
structural successor for closures |
- fsup ( â¦?,?,?⦠â â¦?,?,?⦠) |
- fsupq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
- fsupq_alt ( â¦?,?,?⦠ââ⸮ â¦?,?,?⦠) |
+ fqu ( â¦?,?,?⦠â â¦?,?,?⦠) |
+ fquq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
+ fquq_alt ( â¦?,?,?⦠ââ⸮ â¦?,?,?⦠) |
|
@@ -1152,6 +1150,6 @@
- Last update: Sun, 06 Oct 2013 13:50:12 +0200
+ Last update: Sat, 12 Oct 2013 19:38:34 +0200