Misc additions
Misc editting
Fixed to handle finish-proofstate
Fixed to handle finish-proofstate for Emacs
More work on defrulepr
Added xmlrpc-theory-decl* (pvs:type-decl)