X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=eb3ac6cda67486665bdc8d39be457a8286b3eb5e;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=1d57125b890957cfaeb2c11b551b93c8377ee6df;hpb=7412538ab43afe9a19c5f4be369bed82b2ab6193;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 1d57125b8..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 |
- 2 |
- characters |
- 594 |
- 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: Wed, 05 Apr 2017 18:05:17 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100