ltv-F-tmn2-asy.maude 4.18 KB