HomeIsabelle/Phabricator

Implement "not" and get-thread-index.