added missig functions

This commit is contained in:
Krasimir Angelov
2025-10-25 08:20:33 +02:00
parent 35a650141e
commit 1aed4c3b5f
2 changed files with 10 additions and 3 deletions
+1 -1
View File
@@ -121,7 +121,7 @@ concrete CatEus of Cat = CommonX ** open ResEus, Prelude in {
N = ResEus.Noun ;
N2 = ResEus.Noun2 ;
N3 = ResEus.Noun3 ;
PN = ResEus.PNoun ;
PN,LN,GN,SN = ResEus.PNoun ;
linref