public interface TheoryListener extends java.util.EventListener
void
theoryChanged(TheoryEvent e)
void theoryChanged(TheoryEvent e)