]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/ground_2.html
- notational change for cpg and cpx
[helm.git] / helm / www / lambdadelta / ground_2.html
index 5f924ed29a25522aa93b22b5a14dd2a6be578932..e5d2f0e37d0e2cc9fc68d9865354b469e69b9d43 100644 (file)
             </td>
           </tr>
           <tr>
-            <td class="snns top capitalize italic water">rt-transition counter</td>
+            <td class="snns top capitalize italic water">generic rt-transition counter</td>
             <td class="snns top italic water" />
             <td class="snns top water">rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 )</td>
             <td class="snnn top water">rtc_shift ( ↓? )</td>
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 18 Apr 2016 20:35:45 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 22 May 2016 11:12:18 +0200</div>
   </body>
 </html>