X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2944f7afec83185cc41f0d2a4a5ef7392ff5d4b4;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=1da837bc4bb5bd273c3af997571ea0dfc54e1e81;hpb=0249daf422b1cdc8e5f481f285beeea3a76d4aca;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 1da837bc4..2944f7afe 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 229 |
+ 238 |
characters |
- 240969 |
+ 249398 |
nodes |
- 1182308 |
+ 1213337 |
propositions |
theorems |
- 61 |
+ 63 |
lemmas |
- 805 |
+ 838 |
total |
- 866 |
+ 901 |
concepts |
declared |
30 |
defined |
- 66 |
+ 70 |
total |
- 96 |
+ 100 |
@@ -379,9 +379,7 @@
rt-computation |
uncounted context-sensitive rt-computation |
csx_vector ( â¦?,?⦠⢠â¬*[?,?] ðâ¦?⦠) |
-
-
- |
+ csx_cnx_vector csx_csx_vector |
@@ -391,7 +389,7 @@
|
csx ( â¦?,?⦠⢠â¬*[?,?] ðâ¦?⦠) |
- csx_cnx csx_cpxs csx_csx |
+ csx_simple csx_simple_theq csx_drops csx_lsubr csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_csx |
@@ -411,7 +409,7 @@
|
cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
- cpxs_tdeq cpxs_tsts cpxs_tsts_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs |
+ cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs |
rt-transition |
@@ -693,9 +691,9 @@
|
- same top term structure |
- tsts ( ? ⩳[?,?] ? ) |
- tsts_simple tsts_tdeq tsts_tsts tsts_simple_vector |
+ head equivalence for terms |
+ theq ( ? ⩳[?,?] ? ) |
+ theq_simple theq_tdeq theq_theq theq_simple_vector |
@@ -890,6 +888,6 @@
- Last update: Thu, 16 Mar 2017 20:59:31 +0100
+ Last update: Sat, 01 Apr 2017 16:50:39 +0200
|