1
0
forked from GitHub/gf-rgl
This commit is contained in:
Krasimir Angelov
2026-04-24 15:10:28 +02:00
parent 16c19eb4b0
commit 56e97ebfff
3 changed files with 8 additions and 8 deletions
+2 -2
View File
@@ -1327,7 +1327,7 @@ oper mkQuant : (_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_ : Str) -> Quant =
}
}
} ;
spec = Indef
sp = Indef
} ;
oper mkDet : (_,_,_,_,_,_,_,_ : Str) -> Number -> Det =
@@ -1350,7 +1350,7 @@ oper mkDet : (_,_,_,_,_,_,_,_ : Str) -> Number -> Det =
Fem => f8
}
} ;
spec = Indef ;
sp = Indef ;
n = n
} ;