HomeIsabelle/Phabricator

Convert single bindings from mutual recursion into simple bindings.

Authored by dcjm on Jul 6 2020, 2:40 PM.