package mf.org.w3c.dom.svg;

public interface SVGAnimateElement extends 
               SVGAnimationElement {
}