From: Ferruccio Guidi Date: Sat, 10 Mar 2012 19:07:03 +0000 (+0000) Subject: generated web pages update X-Git-Tag: make_still_working~1862 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9fc816ac51a681fe122712931f8df19d804a4695;p=helm.git generated web pages update --- diff --git a/helm/www/lambda_delta/ld_apps_2.html b/helm/www/lambda_delta/ld_apps_2.html index fc3149597..3730375f7 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)
[Spacer]
+
[lambda_delta home]
cic:/matita/lambda_delta/apps_2/ (applications of λδ version 2)
[Spacer]
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.
-
categoryobjects




volumefiles5



propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
+
categoryobjects




sizesfiles5bytes13091

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: 2012-03-09+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-10+01:00
diff --git a/helm/www/lambda_delta/ld_basic_2.html b/helm/www/lambda_delta/ld_basic_2.html index d894aef11..a9ce6a1c0 100644 --- a/helm/www/lambda_delta/ld_basic_2.html +++ b/helm/www/lambda_delta/ld_basic_2.html @@ -13,7 +13,7 @@ -
[lambda_delta home]
cic:/matita/lambda_delta/Basic_2/ (λδ version 2)
[Spacer]
+
[lambda_delta home]
cic:/matita/lambda_delta/basic_2/ (λδ version 2)
[Spacer]
System's Syntax and Behavior
This is a summary of the "block structure" of the System's syntactic items and reductions. @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
categoryobjects




volumefiles112



propositionstheorems45lemmas437total482
conceptsdeclared32defined38total70
+
categoryobjects




sizesfiles112bytes413586

propositionstheorems45lemmas438total483
conceptsdeclared32defined38total70
  • In progress. Context-sensitive strong normalization of simply typed terms.
@@ -59,6 +59,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-09+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-10+01:00
diff --git a/helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml b/helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml index 425421933..5c6e7859e 100644 --- a/helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml +++ b/helm/www/lambda_delta/web/home/ld_apps_2.ldw.xml @@ -3,7 +3,7 @@
Contents of the Specification
This specification comprises a collection of checked @@ -23,7 +23,7 @@ Here is a numerical acount of the specification's contents and its timeline. - +
The Applications directory is started. diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml index 7a1eef5f7..1f8895eaf 100644 --- a/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml +++ b/helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml @@ -3,7 +3,7 @@
System's Syntax and Behavior
This is a summary of the "block structure" @@ -20,7 +20,7 @@ Here is a numerical acount of the specification's contents and its timeline. -
+
Context-sensitive strong normalization of simply typed terms.