X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=0aa30e23deee61db5b6d9d801330e094e831e82d;hb=f1b5681cc8b74b016c7287d901564547fa70cdbd;hp=4ae950012685910fb47fd74ea7401ba4f3706880;hpb=be2870b722324a1813ac9e72ebcb2cda6c8733d7;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 4ae950012..0aa30e23d 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -142,31 +142,31 @@
- sizes |
- files |
- 265 |
- characters |
- 273408 |
- nodes |
- 1338125 |
+ sizes |
+ files |
+ 283 |
+ characters |
+ 291563 |
+ nodes |
+ 1380256 |
propositions |
theorems |
- 79 |
+ 82 |
lemmas |
- 930 |
+ 975 |
total |
- 1009 |
+ 1057 |
- concepts |
- declared |
- 33 |
- defined |
- 81 |
- total |
- 114 |
+ concepts |
+ declared |
+ 33 |
+ defined |
+ 82 |
+ total |
+ 115 |
@@ -400,6 +400,36 @@
rt-computation |
uncounted context-sensitive rt-computation |
+ lfsx ( ? ⢠â¬*[?,?,?] ðâ¦?⦠) |
+ lfsx_fqup lfsx_lfpxs lfsx_lfsx |
+
+
+
+
+ |
+
+
+ |
+ csx_vector ( â¦?,?⦠⢠â¬*[?,?] ðâ¦?⦠) |
+ csx_cnx_vector csx_csx_vector |
+
+
+
+
+ |
+
+
+ |
+ csx ( â¦?,?⦠⢠â¬*[?,?] ðâ¦?⦠) |
+ csx_simple csx_simple_theq csx_drops csx_lsubr csx_aaa csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_csx |
+
+
+
+
+ |
+
+
+ |
lfpxs ( â¦?,?⦠⢠â¬*[?,?] ? ) |
lfpxs_length lfpxs_drops lfpxs_fqup lfpxs_lfdeq lfpxs_aaa lfpxs_cpxs lfpxs_lfpxs |
@@ -411,7 +441,7 @@
cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
- cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_lsubr cpxs_aaa cpxs_lfpx cpxs_cnx cpxs_cpxs |
+ cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_fqus cpxs_lsubr cpxs_lfdeq cpxs_aaa cpxs_lfpx cpxs_cnx cpxs_cpxs |
rt-transition |
@@ -964,6 +994,6 @@
- Last update: Wed, 25 Oct 2017 21:44:35 +0200
+ Last update: Thu, 02 Nov 2017 18:35:42 +0100