added a contruction; fixed negation

This commit is contained in:
EkaterinaVoloshina
2024-11-26 21:26:54 +01:00
parent 3dae1cf820
commit 6b5df036e3
15 changed files with 107 additions and 35 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
resource ParamRus = ParamX, CommonX [Temp] ** open Prelude, Maybe in {
resource ParamRus = ParamX - [mkAdV, AdV], CommonX [Temp] ** open Prelude, Maybe in {
-- Mostly follows https://en.wikipedia.org/wiki/List_of_glossing_abbreviations
-- see theory.txt