From aed322a0e2db2c8248281582e324ef09cd732421 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 25 Oct 2017 14:56:38 +0000 Subject: [PATCH] update in basic_2 and apps_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 13 +++++++++---- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 20 +++++++++++++++++++- 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, 39 insertions(+), 16 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 003567a0a..9369a2bc8 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:22 +0200
+
Last update: Wed, 25 Oct 2017 16:56:03 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 36e10d536..a240e6d58 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -218,9 +218,14 @@ - - - + + + + + + + +
componentplanefilescomponentplanefiles
examplesterms with special featuresex_cpr_omega
@@ -251,6 +256,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:23 +0200
+
Last update: Wed, 25 Oct 2017 16:56:04 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 8da18471b..f497bf840 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:22 +0200
+
Last update: Wed, 25 Oct 2017 16:56:03 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 2a1e5122c..c7b541b8f 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -399,6 +399,24 @@ rt-transition + uncounted rst-transition + fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ ) + fpbq_aaa + + + +
+ + +
+ + fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ ) + fpb_lfdeq + + + +
+ t-bound context-sensitive rt-transition lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? ) lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr @@ -930,6 +948,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:24 +0200
+
Last update: Wed, 25 Oct 2017 16:56:05 +0200
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 81a935ac3..e8c8296b0 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:23 +0200
+
Last update: Wed, 25 Oct 2017 16:56:04 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index be18b0d95..a9e056c10 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:20 +0200
+
Last update: Wed, 25 Oct 2017 16:56:02 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 6fedef279..9187e0d31 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:22 +0200
+
Last update: Wed, 25 Oct 2017 16:56:03 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index b0c18b25c..31d201db5 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -881,6 +881,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:23 +0200
+
Last update: Wed, 25 Oct 2017 16:56:04 +0200
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index b4b0871c8..49abf1245 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:20 +0200
+
Last update: Wed, 25 Oct 2017 16:56:01 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index e14178435..2b698288a 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:21 +0200
+
Last update: Wed, 25 Oct 2017 16:56:02 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 700c80869..bb7a4a37c 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:20 +0200
+
Last update: Wed, 25 Oct 2017 16:56:01 +0200
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 8e5bc9abb..a36146d24 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:21 +0200
+
Last update: Wed, 25 Oct 2017 16:56:02 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index a3e46bcba..3f84b6ad4 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Wed, 25 Oct 2017 15:23:21 +0200
+
Last update: Wed, 25 Oct 2017 16:56:03 +0200
-- 2.39.2