From b7de6afb9d3260ffea86ddf824e497419e1b56fb Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 17 Oct 2017 18:35:17 +0000 Subject: [PATCH] update in basic_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 40 +++++++++++++++++------- helm/www/lambdadelta/core.html | 2 +- helm/www/lambdadelta/documentation.html | 2 +- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 2 +- helm/www/lambdadelta/home.html | 2 +- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/osn.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- 13 files changed, 41 insertions(+), 23 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 90f634626..58120fdc0 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:53 +0200
+
Last update: Tue, 17 Oct 2017 20:34:22 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index ff26218fe..0e24182f5 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -251,6 +251,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:54 +0200
+
Last update: Tue, 17 Oct 2017 20:34:23 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 7582db951..10a859fef 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:53 +0200
+
Last update: Tue, 17 Oct 2017 20:34:22 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index c4e4b3cba..374c3a7db 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 210 + 212 characters - 207234 + 213959 nodes - 980390 + 1057531 propositions theorems 62 lemmas - 732 + 741 total - 794 + 803 concepts declared 31 defined - 77 + 78 total - 108 + 109 @@ -391,6 +391,12 @@
+ + rt-transition + counted context-sensitive rt-transition + cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? ) + cpg_simple cpg_drops cpg_lsubr + iterated static typing iterated extension on referred entries @@ -607,9 +613,21 @@
- degree-based equivalence for terms - tdeq ( ? ≡[?,?] ? ) - tdeq_ext tdeq_tdeq + degree-based equivalence + tdeq_ext ( ? ≡[?,?] ? ) + +
+ + + + +
+ + +
+ + tdeq ( ? ≡[?,?] ? ) + tdeq_tdeq @@ -826,6 +844,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:54 +0200
+
Last update: Tue, 17 Oct 2017 20:34:24 +0200
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 66842693a..99e708920 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:54 +0200
+
Last update: Tue, 17 Oct 2017 20:34:23 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index f5af9a055..5831c0ffc 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:51 +0200
+
Last update: Tue, 17 Oct 2017 20:34:21 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 9bda20c86..cc6985d6e 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:52 +0200
+
Last update: Tue, 17 Oct 2017 20:34:22 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index de8110cf4..4a287685c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -881,6 +881,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:53 +0200
+
Last update: Tue, 17 Oct 2017 20:34:23 +0200
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 7995f2bc8..bf312f8ef 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:51 +0200
+
Last update: Tue, 17 Oct 2017 20:34:21 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 37fd9a786..f63f438ca 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:51 +0200
+
Last update: Tue, 17 Oct 2017 20:34:21 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index b5da444f5..9264162d9 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:51 +0200
+
Last update: Tue, 17 Oct 2017 20:34:20 +0200
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index a201444f8..06be4bd61 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:52 +0200
+
Last update: Tue, 17 Oct 2017 20:34:21 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index c715b7c1e..7109250d7 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Tue, 17 Oct 2017 17:26:52 +0200
+
Last update: Tue, 17 Oct 2017 20:34:22 +0200
-- 2.39.2