X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fld_apps_2.html;h=5aa7b421306025696932656e0206c331f3d2d13e;hb=b0e53eab5aa92b80f4d13a638e6ca55c054be6e5;hp=8558d5862d22769c9b010b2d8ce51f061ea12d8c;hpb=ff11fcced84c3e18f0f73be101bc7b2086fc0a52;p=helm.git diff --git a/helm/www/lambda_delta/ld_apps_2.html b/helm/www/lambda_delta/ld_apps_2.html index 8558d5862..5aa7b4213 100644 --- a/helm/www/lambda_delta/ld_apps_2.html +++ b/helm/www/lambda_delta/ld_apps_2.html @@ -13,7 +13,7 @@ -

[lambda_delta home]

cic:/matita/lambda_delta/Apps_2/ (applications of Î»Î´ version 2)

+

[lambda_delta home]

cic:/matita/lambda_delta/apps_2/ (applications of Î»Î´ version 2)

Contents of the Specification

This specification comprises a collection of checked applications of Î»Î´ version 2. @@ -32,7 +32,7 @@

Here is a numerical acount of the specification's contents and its timeline.

-

category	objects
propositions	theorems	4	lemmas	1	total	5
concepts	declared	3	defined	10	total	13

+

category	objects
sizes	files	5	bytes	13091
propositions	theorems	4	lemmas	1	total	5
concepts	declared	3	defined	10	total	13

2012 February 24. The Applications directory is started.

@@ -57,6 +57,6 @@

The source files are grouped in directories, one for each component.

-

[Valid XHTML 1.1]

[Valid CSS level 2]

[Generated from XML via XSL]

[PNG used here]

[Viewable with any browser]

Last update: 2012-02-24+01:00

+

[Valid XHTML 1.1]

[Valid CSS level 2]

[Generated from XML via XSL]

[PNG used here]

[Viewable with any browser]

Last update: 2012-03-14+01:00