X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=eb3ac6cda67486665bdc8d39be457a8286b3eb5e;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=ab26a1c3796faa1cd77b659ccf6788abd8868164;hpb=ed87c2c166f9f5db2729772e55154d7858dae4d6;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index ab26a1c37..eb3ac6cda 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -31,7 +31,7 @@
- home
+ home
|
news
@@ -57,7 +57,7 @@
|
- foreword
+ foreword
|
milestones
@@ -76,12 +76,12 @@
helena
|
-
+ Open Symbolic Notation (OSN)
|
- citations
+ citations
|
visibility
@@ -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: Thu, 21 Jul 2016 16:50:49 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100