From: Ferruccio Guidi Date: Sun, 3 Mar 2013 18:54:10 +0000 (+0000) Subject: update in basic_2 X-Git-Tag: make_still_working~1234 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=314cfdb2d8d96e61ac0a133b043cf7840e8835ab;p=helm.git update in basic_2 --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index ddada37fb..e5f4a1859 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -20,6 +20,6 @@
classcontents














p
147101316192225283134374043
q
5111517232933354145




s
268141820242632384244


t
39122127303639






-
[Spacer]

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

Last update: 2013-02-28T19:07:27+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: 2013-03-03T19:53:30+01:00
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index be36e0a8e..1e927ff41 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/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: 2013-02-28T19:07:27+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: 2013-03-03T19:53:30+01:00
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 84f9620ed..911dda5ff 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles245characters468706nodes1268174
propositionstheorems84lemmas1087total1171
conceptsdeclared43defined84total127
+
categoryobjects




sizesfiles246characters472922nodes1271632
propositionstheorems84lemmas1096total1180
conceptsdeclared43defined83total126