X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=374c3a7db77cd311b68881174df388362bc7e6ad;hb=b7de6afb9d3260ffea86ddf824e497419e1b56fb;hp=c4e4b3cba0b3fdd9ed78ce370abbb2a62d3cda5c;hpb=4ce795bb1d356e2565c14087b933adaccfc81dcd;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c4e4b3cba..374c3a7db 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 210 |
+ 212 |
characters |
- 207234 |
+ 213959 |
nodes |
- 980390 |
+ 1057531 |
propositions |
theorems |
62 |
lemmas |
- 732 |
+ 741 |
total |
- 794 |
+ 803 |
concepts |
declared |
31 |
defined |
- 77 |
+ 78 |
total |
- 108 |
+ 109 |
@@ -391,6 +391,12 @@
+
+ rt-transition |
+ counted context-sensitive rt-transition |
+ cpg ( â¦?,?⦠⢠? â¬[?,?] ? ) |
+ cpg_simple cpg_drops cpg_lsubr |
+
iterated static typing |
iterated extension on referred entries |
@@ -607,9 +613,21 @@
|
- degree-based equivalence for terms |
- tdeq ( ? â¡[?,?] ? ) |
- tdeq_ext tdeq_tdeq |
+ degree-based equivalence |
+ tdeq_ext ( ? â¡[?,?] ? ) |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ tdeq ( ? â¡[?,?] ? ) |
+ tdeq_tdeq |
@@ -826,6 +844,6 @@
- Last update: Tue, 17 Oct 2017 17:26:54 +0200
+ Last update: Tue, 17 Oct 2017 20:34:24 +0200
|