From d64caa33426da23e1ab75eca50f227c40e95a24b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 24 Jan 2017 17:22:44 +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 | 36 ++++++++++++------------ 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 +- 12 files changed, 29 insertions(+), 29 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 0097a0f75..749a9793b 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:21 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 71b03235c..79e915f3c 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index b2b091d03..b2abc489f 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:21 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index b2954f5e7..a3ae17a57 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 178 + 165 characters - 183178 + 174741 nodes - 957953 + 938013 propositions theorems - 48 + 36 lemmas - 630 + 591 total - 678 + 627 concepts declared - 25 + 24 defined - 43 + 41 total - 68 + 65 @@ -426,23 +426,23 @@ atomic arity assignment aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? ) - aaa_drops aaa_fqus aaa_lfeq aaa_aaa + aaa_drops aaa_fqus aaa_lfdeq aaa_aaa
- equivalence for closures on referred entries - ffeq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ ) - ffeq_freq + degree-based equivalence for closures on referred entries + ffdeq ( ⦃?,?,?⦄ ≡[?,?] ⦃?,?,?⦄ ) + ffdeq_fqup ffdeq_ffdeq
- equivalence for local environments on referred entries - lfeq ( ? ≡[?] ? ) - lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq + degree-based equivalence for local environments on referred entries + lfdeq ( ? ≡[?,?,?] ? ) + lfdeq_length lfdeq_fqup lfdeq_lfdeq @@ -466,7 +466,7 @@ context-sensitive free variables frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? ) - frees_weight frees_lreq frees_drops frees_fqup frees_frees + frees_weight frees_drops frees_fqup frees_frees @@ -767,6 +767,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:21 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 4f8e8d475..9a1c11e4a 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 517377c51..813741680 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:21 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 3d6459ecc..333dc9c28 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:21 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index df7ae7b6a..50fe18101 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 8b59dced6..874c7a7d4 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index fe85f24b8..fdf909857 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 90284c4a1..3549cb860 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 3a88cfc67..e797197d0 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Sun, 22 Jan 2017 20:42:51 +0100
+
Last update: Tue, 24 Jan 2017 18:22:20 +0100
-- 2.39.2