(Est) Replace all {lock_C = <>} with lin C {...}

2026-06-28 20:36:29 -06:00 · 2022-04-14 20:02:44 +08:00
parent 76f23214c1
commit 4e8ff8e7fd
8 changed files with 91 additions and 117 deletions
@@ -457,7 +457,6 @@ These used to be here:
          AAdv => afs.adv_superl
          }
        } ;
-      lock_A = <>
      } ;

    nforms2aforms : NForms -> AForms = \nforms ->