HomeIsabelle/Phabricator

Fix function name: they're mutual bindings not mutable.

Authored by dcjm on Jul 6 2020, 9:40 AM.