ImportTheories.java

package org.whole.lang.firstorderlogic.model;

import java.util.List;

/** 
 * @generator Whole
 */
public interface ImportTheories extends IFirstOrderLogicEntity,
		List<ImportDeclaration> {
}