X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=eb3ac6cda67486665bdc8d39be457a8286b3eb5e;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=3b3b58a3595d05a0192b04635fa0442088bc298a;hpb=65e6209e0758832835ba8d14304a1548d059a634;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 3b3b58a35..eb3ac6cda 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -138,7 +138,7 @@
category |
- objects |
+ units |
|
@@ -156,13 +156,13 @@
- sizes |
- files |
- 1 |
- characters |
- 377 |
- nodes |
- 779 |
+ sizes |
+ characters (files) |
+ 377 (1) |
+ nodes (objects) |
+ 779 (6) |
+ intrinsic loss factor |
+ 2.1 |
propositions |
@@ -174,13 +174,13 @@
3 |
- concepts |
- declared |
- 0 |
- defined |
- 3 |
- total |
- 3 |
+ concepts |
+ declared |
+ 0 |
+ defined |
+ 3 |
+ total |
+ 3 |
@@ -220,34 +220,12 @@
component |
plane |
- files |
-
-
- |
-
-
- functional |
- reduction and type machine |
- rtm |
- rtm_step ( ? ⨠? ) |
-
-
-
-
- |
- relocation |
- lift ( â[?,?] ? ) |
-
-
- |
+ files |
examples |
terms with special features |
- ex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta |
-
-
- |
+ ex_cpr_omega |
@@ -278,6 +256,6 @@
- Last update: Tue, 10 Oct 2017 22:45:09 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100