Added xmlrpc-theory-decl* (pvs:type-decl)