--# -path=.:../abstract:../common:../prelude

concrete AllHeb of AllHebAbs = LangHeb ;