Moving an Assertion to a Different Microtheory

An assertion can be moved to a different microtheory by clicking on [Change Mt]. The interface displays a page prompting for the new microtheory, and then confirms the action after you click the "Change Mt" button.

Changing the microtheory of an assertion is accomplished by three operations, one to unassert the assertion in the old mt, one to assert it in the new mt, and one to timestamp the new assertion.