From 03e9a07b37a7e372f8ee88071b05bd3f49a0b368 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 7 Feb 2013 19:50:22 +0000 Subject: [PATCH] update in basic_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 4 ++-- helm/www/lambdadelta/basic_2.html | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index bbd8fb5c2..9fc3da88e 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-06T21:56:05+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-02-07T20:49:53+01:00
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 97ec7f23a..9d22358fa 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -32,7 +32,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




sizesfiles5characters5613nodes10024
propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
+
@@ -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-06T21:56:05+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-02-07T20:49:53+01:00
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 0bd2b8a1e..c2b832a96 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




sizesfiles228characters430859nodes1197040
propositionstheorems82lemmas1004total1086
conceptsdeclared43defined76total119
+
  • In progress. Context-sensitive subject equivalence for native type assignment. @@ -83,6 +83,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-06T21:56:05+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-02-07T20:49:53+01:00
    -- 2.39.2