HomeIsabelle/Phabricator

Convert single bindings from mutual recursion into simple bindings.