Once a machine or context is (partially) edited, you can save it by using the save button as indicated in Figure 4.3.
Once a “Save" has been completed, three tools are called automatically, these are:
This can take some time. A “Progress” view can be opened at the bottom right of the screen to see which tools are working (most of the time, it will be the auto-prover). This is done via Window Show View
Progress.