From: Ferruccio Guidi Date: Wed, 2 Sep 2015 16:01:28 +0000 (+0000) Subject: updated bibliography X-Git-Tag: make_still_working~703 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6ce2552192c2727eb5f7d17f52b949549e1e6ad1;p=helm.git updated bibliography --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 203d3f727..00142e24a 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:48 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 32355bdc0..a61fd00dd 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -152,29 +152,29 @@ sizes files - 14 + 4 characters - 6787 + 68581 nodes - 10070 + 3637 propositions theorems 2 lemmas - 4 + 1 total - 6 + 3 concepts declared - 6 + 3 defined - 11 + 9 total - 17 + 12 @@ -258,6 +258,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 37ed9a89b..70bedf6d5 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -102,7 +102,7 @@ -
Abstract Syntax and Behavior [spacer] +
Abstract Syntax and Behavior [spacer]
This is a summary of available syntactic items and reductions (block structure).
@@ -823,6 +823,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 3e8e2787a..e1e8448af 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -146,18 +146,18 @@ files 360 characters - 433402 + 437272 nodes - 1874778 + 1935835 propositions theorems 130 lemmas - 1286 + 1303 total - 1416 + 1433 concepts @@ -1384,6 +1384,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 42f7fbe42..61c482d6f 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -147,7 +147,7 @@ J2a. - F. Guidi: The Formal System λδ Revised, Stage A: Extending the Applicability Condition (2014-11). Submitted to ACM ToCL. CoRR identifier 1411.0154 [v2] (revised 2015-03). BibTeX entry. + F. Guidi: The Formal System λδ Revised, Stage A: Extending the Applicability Condition (2014-11). Preprint. CoRR identifier 1411.0154 [v2] (revised 2015-03). BibTeX entry. @@ -389,6 +389,6 @@

-
Last update: Fri, 07 Aug 2015 14:24:52 +0200
+
Last update: Wed, 02 Sep 2015 17:59:06 +0200
diff --git a/helm/www/lambdadelta/download/lambdadelta.bib b/helm/www/lambdadelta/download/lambdadelta.bib index fddba1015..b2292da82 100644 --- a/helm/www/lambdadelta/download/lambdadelta.bib +++ b/helm/www/lambdadelta/download/lambdadelta.bib @@ -5,7 +5,7 @@ title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}", year="2015", month="August", - note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)" + note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)" } % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -16,7 +16,7 @@ howpublished="CoRR identifier 1411.0154", year="2014", month="November", - note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)" + note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)" } @misc{lambdadeltaV2, @@ -25,7 +25,7 @@ howpublished="Formal specification for the proof assistant Matita 0.99.2", year="2014", month="October", - note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } @incollection{lambdadeltaR2b, @@ -106,5 +106,5 @@ howpublished="Formal specification for the proof assistant Coq 7.3.1", year="2006", month="November", - note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } diff --git a/helm/www/lambdadelta/download/lambdadelta.txt b/helm/www/lambdadelta/download/lambdadelta.txt index fddba1015..b2292da82 100644 --- a/helm/www/lambdadelta/download/lambdadelta.txt +++ b/helm/www/lambdadelta/download/lambdadelta.txt @@ -5,7 +5,7 @@ title="{Verified Representations of Landau's ``Grundlagen'' in $\lambda\delta$$ and in the Calculus of Constructions}", year="2015", month="August", - note="Submitted to JFR, University of Bologna (available at $<$http://lambdadelta.info/$>$)" + note="Submitted to JFR, University of Bologna (available at $<$\url{http://lambdadelta.info/}$>$)" } % \lambda\delta version 2 (active) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -16,7 +16,7 @@ howpublished="CoRR identifier 1411.0154", year="2014", month="November", - note="Submitted to ACM ToCL (available at $<$http://lambdadelta.info/$>$)" + note="Preprint (available at $<$\url{http://lambdadelta.info/}$>$)" } @misc{lambdadeltaV2, @@ -25,7 +25,7 @@ howpublished="Formal specification for the proof assistant Matita 0.99.2", year="2014", month="October", - note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } @incollection{lambdadeltaR2b, @@ -106,5 +106,5 @@ howpublished="Formal specification for the proof assistant Coq 7.3.1", year="2006", month="November", - note="Available at $\lambda\delta$ Web site: $<$http://lambdadelta.info/$>$" + note="Available at $\lambda\delta$ Web site: $<$\url{http://lambdadelta.info/}$>$" } diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 284bfae7c..9f992e582 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -275,6 +275,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 7e44d22e7..447c93aea 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -132,29 +132,29 @@ sizes files - 30 + 27 characters - 46649 + 48334 nodes - 62380 + 67588 propositions theorems 2 lemmas - 187 + 201 total - 189 + 203 concepts declared 40 defined - 25 + 24 total - 65 + 64 @@ -194,15 +194,6 @@
- -
- - -
- - -
-
@@ -215,10 +206,7 @@ ynat_succ ( ⫯? ) ynat_le ( ? ≤ ? ) ynat_lt ( ? < ? ) - ynat_minus ( ? - ? ) - ynat_plus ( ? + ? ) - ynat_max - ynat_min + ynat_plus ( ? + ? ) extensions to the library @@ -228,15 +216,6 @@ bool ( Ⓕ ) ( Ⓣ ) arith ( ?^? ) list ( ◊ ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) - -
- - -
- - -
-
@@ -255,15 +234,6 @@
- -
- - -
- - -
-
@@ -286,15 +256,6 @@
- -
- - -
- - -
-
@@ -328,6 +289,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index f67d1f81a..91041f3d8 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -269,6 +269,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:06 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 3a46173de..ec61f9c05 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -202,6 +202,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:06 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 4e7bd9e14..0c2df9dc0 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -354,6 +354,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:05 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index a4bb157b5..f7dee9bf8 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -328,6 +328,6 @@

-
Last update: Fri, 07 Aug 2015 14:21:47 +0200
+
Last update: Wed, 02 Sep 2015 17:59:07 +0200
diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl index 1d00bf77e..9a6be192d 100644 --- a/helm/www/lambdadelta/web/home/documentation_2.tbl +++ b/helm/www/lambdadelta/web/home/documentation_2.tbl @@ -6,7 +6,7 @@ table { @@("download/basic2a.pdf" "The Formal System λδ Revised, Stage A: Extending the Applicability Condition") + "(2014-11)." + - "Submitted to ACM ToCL." + + "Preprint." + (* Submitted to ACM ToCL. *) "CoRR identifier" + @("http://arxiv.org/abs/1411.0154" "1411.0154") + "[v2] (revised" +