- partial commit of rt_transition ...

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / web / ground_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
index 8443ab81ac4a10f3e99806bc94588fe12af1e754..c3291e628339a3267efd7b6ae3bebf514bb67385 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl
@@ -10,7 +10,7 @@ table {
      }
    ]
    class "water"
-   [ { "rt-transition counter" * } {
+   [ { "generic rt-transition counter" * } {
         [ { "" * } {
              [ "rtc ( 〈?,?,?,?〉 ) ( 𝟘𝟘 ) ( 𝟙𝟘 ) ( 𝟘𝟙 )" "rtc_shift ( ↓? )" "rtc_plus ( ? + ? )" * ]
           }