added ExtraFre.quel_IComp

This commit is contained in:
Aarne Ranta
2017-12-13 09:36:21 +02:00
parent d0a65b19fd
commit f59d6d42f7
2 changed files with 7 additions and 0 deletions
+2
View File
@@ -58,5 +58,7 @@ abstract ExtraFreAbs = ExtraRomanceAbs - [ProDrop] ** {
InvQuestCl : Cl -> QCl ; -- dort-il
InvQuestIAdvCl : IAdv -> Cl -> QCl ; -- dort-il
quel_IComp : IComp ; -- quelle est votre nationalité
}