From: Ferruccio Guidi Date: Mon, 19 Mar 2012 15:32:58 +0000 (+0000) Subject: additions to basic_2 X-Git-Tag: make_still_working~1844 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=35447b603d9b94a7a05bebc640d61d263820624c;p=helm.git additions to basic_2 --- diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index 7a01f03d4..aad4cd0a1 100644 --- a/helm/www/lambda_delta/apps_2.html +++ b/helm/www/lambda_delta/apps_2.html @@ -57,6 +57,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-03-17+01:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-03-19+01:00
diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index 9a1f793ee..15180d35f 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles116bytes428758

propositionstheorems46lemmas453total499
conceptsdeclared31defined40total71
+
categoryobjects




sizesfiles118bytes433891

propositionstheorems46lemmas460total506
conceptsdeclared31defined40total71