Files
gf-core/lib/resource-1.3/mathematical/PredicationSwe.gf

4 lines
91 B
Plaintext

concrete PredicationSwe of Predication = CatSwe ** PredicationI with
(Lang = LangSwe) ;