X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=cca6b45857d3d8a6314e9fbc493e9094f48b4bbe;hb=4e961fd767a9800fe35fda629f7a2f119d4b165f;hp=e966660a938f50bd8588cf9117b1ea73262fdfb8;hpb=325319a6c28fd8c3992cdb0be745b0c7ca8651c3;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index e966660a9..cca6b4585 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -55,50 +55,50 @@
- category |
- objects |
-
+ | category |
+ objects |
+
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
- sizes |
- files |
- 4 |
- characters |
- 2567 |
- nodes |
- 3637 |
+ sizes |
+ files |
+ 4 |
+ characters |
+ 2567 |
+ nodes |
+ 3637 |
- propositions |
- theorems |
- 2 |
- lemmas |
- 1 |
- total |
- 3 |
+ propositions |
+ theorems |
+ 2 |
+ lemmas |
+ 1 |
+ total |
+ 3 |
- concepts |
- declared |
- 3 |
- defined |
- 9 |
- total |
- 12 |
+ concepts |
+ declared |
+ 3 |
+ defined |
+ 9 |
+ total |
+ 12 |
@@ -134,26 +134,26 @@
- component |
- plane |
- files |
-
+ | component |
+ plane |
+ files |
+
|
- functional |
- reduction and type machine |
- rtm |
- rtm_step ( ? ⨠? ) |
+ functional |
+ reduction and type machine |
+ rtm |
+ rtm_step ( ? ⨠? ) |
-
+ |
|
- relocation |
- lift ( â[?,?] ? ) |
-
+ | relocation |
+ lift ( â[?,?] ? ) |
+
|
@@ -191,6 +191,6 @@
- Last update: Mon, 07 Jul 2014 23:14:52 +0200
+ Last update: Wed, 15 Oct 2014 15:37:19 +0200