Summary
- disable share_common_data for now (amending 0f8742b5a9e8) -- potentially more robust;
- merged
- load theories in stages, to reduce ML heap requirements;
- more complete graph;
- tuned messages;
- tuned signature;
- clarified signature;
- tuned important special case;
- tuned signature;
- more dump_checkpoints;
- clarified signature;
- clarified state variable: avoid extra mutability via Promise;
- Removal of the redundant ancestor Continuous_Extension
- Half of Brouwer_Fixpoint split off to form a separate theory: Retracts.
- Theory Derivative no longer depends on Path_Connected