update in basic_2 and apps_2

[helm.git] / helm / www / lambdadelta / basic_2.html

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 2a1e5122cdd8fbd54216d304a32a2aad9bc53ed3..c7b541b8f14661ecb941aa9ac973fa68adb66913 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -399,6 +399,24 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic cyan">rt-transition</td>
+            <td class="snns top italic cyan">uncounted rst-transition</td>
+            <td class="snns top cyan">fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ )</td>
+            <td class="ssnn top cyan">fpbq_aaa</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
+            <td class="ssnn top cyan">fpb_lfdeq</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </td>
             <td class="snns top italic cyan">t-bound context-sensitive rt-transition</td>
             <td class="snns top cyan">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
             <td class="ssnn top cyan">lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
@@ -930,6 +948,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:24 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 16:56:05 +0200</div>
   </body>
 </html>