From: Ferruccio Guidi Date: Thu, 19 May 2016 10:18:31 +0000 (+0000) Subject: update in ground_2 and basic_2 X-Git-Tag: make_still_working~587 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a145b5df4a86b3d5f8516a9c1cb76a62f6327151;p=helm.git update in ground_2 and basic_2 --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 560a3c9ea..801e3dffd 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 0ef26ecdf..f967d51da 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 63faff730..e643ff80e 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:41 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index d77920419..c0b48965f 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 133 + 138 characters - 92667 + 109280 nodes - 334596 + 546141 propositions theorems - 44 + 45 lemmas - 369 + 395 total - 413 + 440 concepts declared - 22 + 23 defined 32 total - 54 + 55 @@ -356,6 +356,18 @@
+ + rt-transition + counted context-sensitive rt-transition + cpg ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? ) + cpg_simple cpg_drops cpg_lsubr + +
+ + +
+ + static typing parameters @@ -769,6 +781,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 97df1d797..eb55b4e6f 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -389,6 +389,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:39 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 6350e325f..778e7db64 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 5f924ed29..9fc459b33 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@ files 86 characters - 98269 + 109249 nodes - 207871 + 217872 propositions theorems - 23 + 30 lemmas - 497 + 506 total - 520 + 536 concepts declared - 55 + 59 defined - 57 + 55 total - 112 + 114 @@ -253,7 +253,7 @@ - rt-transition counter + generic rt-transition counter rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 ) rtc_shift ( ↓? ) @@ -759,6 +759,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 11638d0ef..3be996c9e 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index d960ce32c..5e9d8df00 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -283,6 +283,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 2f6428bc5..3f4888094 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:39 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 337512315..fd82cab3f 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -382,6 +382,6 @@

-
Last update: Mon, 18 Apr 2016 20:35:45 +0200
+
Last update: Thu, 19 May 2016 12:17:40 +0200