1 2 3 4 5
--# -path=.:present:prelude concrete PeaceLexCommon_Eng of PeaceLexCommon = PeaceCat_Eng ** PeaceLexCommonI with (Lang = LangEng) ;