From 12fd764a3ab9df02fcea5403bdc50387bb648887 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 30 Sep 2014 14:38:35 +0000 Subject: [PATCH] minor update in basic_2 ... --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_2.html | 4 ++-- helm/www/lambdadelta/documentation.html | 2 +- helm/www/lambdadelta/ground_2.html | 2 +- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/version_1.html | 2 +- helm/www/lambdadelta/version_2.html | 2 +- 10 files changed, 11 insertions(+), 11 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 4784c537c..bfbad5204 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 64a00761d..c5afbc884 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 3779a6c0f..abeab7da6 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -924,7 +924,7 @@
pointwise union for local environments - llor ( ? ⩖[?,?] ? ≡ ? ) + llor ( ? ⋓[?,?] ? ≡ ? ) llor_alt llor_drop
@@ -1321,6 +1321,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index a96cf0b86..3aa8581dc 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -333,6 +333,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 09626dc25..12045bc1a 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 0ba1cd09d..41e4e25d5 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -266,6 +266,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 591768d95..ed71515eb 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -135,6 +135,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 6ae513317..5c33295ad 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -303,6 +303,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:51 +0200
diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 89eb45995..3e9c72737 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -167,6 +167,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
diff --git a/helm/www/lambdadelta/version_2.html b/helm/www/lambdadelta/version_2.html index ef89d56cd..a1544fcb4 100644 --- a/helm/www/lambdadelta/version_2.html +++ b/helm/www/lambdadelta/version_2.html @@ -131,6 +131,6 @@

-
Last update: Mon, 15 Sep 2014 16:17:55 +0200
+
Last update: Tue, 30 Sep 2014 16:37:52 +0200
-- 2.39.2