X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=ba7649484baac736a81f363e076c315e1e8f861b;hb=51b414e3a6f7404b16cab112e94f57aaa94a5239;hp=24fd78c35f39e7718592e00e12fabbe9707b44c6;hpb=6167cca50de37eba76a062537b24f7caef5b34f2;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 24fd78c35..ba7649484 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -146,18 +146,18 @@
files |
291 |
characters |
- 303444 |
+ 304017 |
nodes |
- 1423927 |
+ 1426457 |
propositions |
theorems |
- 85 |
+ 86 |
lemmas |
1024 |
total |
- 1109 |
+ 1110 |
concepts |
@@ -614,7 +614,7 @@
degree-based equivalence on referred entries |
- ffdeq ( â¦?,?,?⦠â¡[?,?] â¦?,?,?⦠) |
+ ffdeq ( â¦?,?,?⦠â[?,?] â¦?,?,?⦠) |
ffdeq_fqup ffdeq_ffdeq |
@@ -624,7 +624,7 @@
|
- lfdeq ( ? â¡[?,?,?] ? ) |
+ lfdeq ( ? â[?,?,?] ? ) |
lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq |
@@ -774,7 +774,7 @@
degree-based equivalence |
- tdeq_ext ( ? â¡[?,?] ? ) ( ? ⢠? â¡[?,?] ? ) |
+ tdeq_ext ( ? â[?,?] ? ) ( ? ⢠? â[?,?] ? ) |
|
@@ -786,7 +786,7 @@
|
- tdeq ( ? â¡[?,?] ? ) |
+ tdeq ( ? â[?,?] ? ) |
tdeq_tdeq |
@@ -1004,6 +1004,6 @@
- Last update: Mon, 13 Nov 2017 18:11:08 +0100
+ Last update: Tue, 14 Nov 2017 16:10:30 +0100