ltv-F-tmn.maude 4.11 KB