X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2fd65b8cd1e980dca197760d1c519ce671381393;hb=8913001064f595c21ed4234884e7c370be2afb52;hp=6a7c568b1a67d5159a097a7174bf07fc6d1e82e5;hpb=816f8da9c917e86d4de69fe5ae9853ec427f2b57;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 6a7c568b1..2fd65b8cd 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -165,18 +165,18 @@
files |
268 |
characters |
- 402310 |
+ 407502 |
nodes |
- 1205044 |
+ 1213911 |
propositions |
theorems |
- 82 |
+ 83 |
lemmas |
- 815 |
+ 826 |
total |
- 897 |
+ 909 |
concepts |
@@ -855,8 +855,8 @@
iterated structural successor for closures |
- fsups ( â¦?,?,?⦠â* â¦?,?,?⦠) |
- fsups_fsups |
+ fqus ( â¦?,?,?⦠â* â¦?,?,?⦠) |
+ fqus_fqus |
|
@@ -871,8 +871,8 @@
|
- fsupp ( â¦?,?,?⦠â+ â¦?,?,?⦠) |
- fsupp_fsupp |
+ fqup ( â¦?,?,?⦠â+ â¦?,?,?⦠) |
+ fqup_fqup |
|
@@ -937,9 +937,9 @@
relocation |
structural successor for closures |
- fsup ( â¦?,?,?⦠â â¦?,?,?⦠) |
- fsupq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
- fsupq_alt ( â¦?,?,?⦠ââ⸮ â¦?,?,?⦠) |
+ fqu ( â¦?,?,?⦠â â¦?,?,?⦠) |
+ fquq ( â¦?,?,?⦠â⸮ â¦?,?,?⦠) |
+ fquq_alt ( â¦?,?,?⦠ââ⸮ â¦?,?,?⦠) |
|
@@ -1150,6 +1150,6 @@
- Last update: Sun, 06 Oct 2013 17:06:48 +0200
+ Last update: Sat, 12 Oct 2013 19:38:34 +0200