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=3f3a4c535c73ddcfa0e1545b10a56d95c569427f;hpb=6540e9d8f9a7bbe7e261f00efa8ea3b76a974750;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 3f3a4c535..eb3ac6cda 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -120,6 +120,12 @@
Functional.
The validation algorithm for λδ as implemented in
Helena 0.8.
+
+
+
+ -
+ Examples.
+ Terms of λδ with special features.
Summary of the Specification
@@ -132,7 +138,7 @@
category |
- objects |
+ units |
|
@@ -150,35 +156,41 @@
- sizes |
- files |
- 1 |
- characters |
- 217 |
- nodes |
- 0 |
+ sizes |
+ characters (files) |
+ 377 (1) |
+ nodes (objects) |
+ 779 (6) |
+ intrinsic loss factor |
+ 2.1 |
propositions |
theorems |
- 0 |
+ 2 |
lemmas |
- 0 |
+ 1 |
total |
- 0 |
+ 3 |
- concepts |
- declared |
- 0 |
- defined |
- 0 |
- total |
- 0 |
+ concepts |
+ declared |
+ 0 |
+ defined |
+ 3 |
+ total |
+ 3 |
+
+ -
+ 2017 March 6.
+ The Examples component is moved from the Core directory.
+
+
-
2012 February 24.
@@ -208,26 +220,12 @@
component |
plane |
- files |
-
-
- |
-
-
- functional |
- reduction and type machine |
- rtm |
- rtm_step ( ? ⨠? ) |
+ files |
-
-
- |
- relocation |
- lift ( â[?,?] ? ) |
-
-
- |
+ examples |
+ terms with special features |
+ ex_cpr_omega |
@@ -258,6 +256,6 @@
- Last update: Tue, 13 Sep 2016 21:24:59 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100