added GenRP to Extend Fin,Fre,Ger,Ita,Swe

This commit is contained in:
Aarne Ranta
2024-03-20 16:34:30 +01:00
parent 97b713520f
commit bb5107fa99
6 changed files with 51 additions and 5 deletions

View File

@@ -7,7 +7,6 @@ concrete ExtendSpa of Extend = CatSpa ** ExtendRomanceFunctor -
ExistsNP,
EmbedSSlash,
GenRP,
GenRP,
IAdvAdv,
ICompAP,
InOrderToVP,