A User Certificate is revoked in exactly the same way as a Host Certificate. To revoke a User Certificate click the View link next to its Common Name. On the edit screen check the verification box:
Finally click "Revoke Certificate" to complete the process. The certificate will remain in the listing but will appear with lines through it, indicating it is no longer valid.