HomeIsabelle/Phabricator

Add instructions that need to be implemented differently in 32-in-64.