Files
gf-core/lib/resource-1.0/mathematical/PredicationGer.gf
T

4 lines
91 B
Plaintext

concrete PredicationGer of Predication = CatGer ** PredicationI with
(Lang = LangGer) ;