Revert "parse "of" as KEYID "of""

This reverts commit edb2c43e152d40001616485fcf7fdde5d947f7a2.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16598 85f007b7-540e-0410-9357-904b9bb8a0f7
Revert "KEYID token makes parsing more robust in face of notations"

This reverts commit 950086cd26f83aa8896dde9dc7ef5b3d87307c56.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16599 85f007b7-540e-0410-9357-904b9bb8a0f7