From 51b414e3a6f7404b16cab112e94f57aaa94a5239 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 14 Nov 2017 15:11:05 +0000 Subject: [PATCH] notational change in basic_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 6 +++--- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 18 +++++++++--------- 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 | 4 ++-- 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, 24 insertions(+), 24 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index b6c673da5..154c5439e 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:28 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 2d2f2a75a..c8f02f775 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -158,9 +158,9 @@ sizes files - 1 + 2 characters - 377 + 594 nodes 779 @@ -256,6 +256,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:29 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index e98378983..a1c6dd6eb 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:28 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 24fd78c35..ba7649484 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -146,18 +146,18 @@ files 291 characters - 303444 + 304017 nodes - 1423927 + 1426457 propositions theorems - 85 + 86 lemmas 1024 total - 1109 + 1110 concepts @@ -614,7 +614,7 @@
degree-based equivalence on referred entries - ffdeq ( ⦃?,?,?⦄ ≡[?,?] ⦃?,?,?⦄ ) + ffdeq ( ⦃?,?,?⦄ ≛[?,?] ⦃?,?,?⦄ ) ffdeq_fqup ffdeq_ffdeq @@ -624,7 +624,7 @@
- lfdeq ( ? ≡[?,?,?] ? ) + lfdeq ( ? ≛[?,?,?] ? ) lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq @@ -774,7 +774,7 @@
degree-based equivalence - tdeq_ext ( ? ≡[?,?] ? ) ( ? ⊢ ? ≡[?,?] ? ) + tdeq_ext ( ? ≛[?,?] ? ) ( ? ⊢ ? ≛[?,?] ? )
@@ -786,7 +786,7 @@
- tdeq ( ? ≡[?,?] ? ) + tdeq ( ? ≛[?,?] ? ) tdeq_tdeq @@ -1004,6 +1004,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:30 +0100
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index d081e92e5..bbb53240e 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:29 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 02d43b916..c2836a039 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:27 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 5468da608..a60a94bf4 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:28 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index c6e8e1e90..60cd43288 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -136,7 +136,7 @@ characters 143239 nodes - 332273 + 332314 propositions @@ -881,6 +881,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:29 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 10d78792f..dacccaa55 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:27 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index a7671b14b..0044990cd 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:08 +0100
+
Last update: Tue, 14 Nov 2017 16:10:27 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index cd71c9ea7..bdb4df1b6 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:26 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 7711321df..96735b310 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:28 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index fa657e3aa..be057fc75 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Mon, 13 Nov 2017 18:11:07 +0100
+
Last update: Tue, 14 Nov 2017 16:10:28 +0100
-- 2.39.2