To complete the installation
req:
- Rodin >= 3.6
- Theory Plugin >= 4.0.3
#1 Import the SimpleDEq workspace and deploy the DiffEq Theory. This should also deploy each other Theory in the workspace. A deployed Theory appears in green. an undeployed Theory appears in orange. To deploy a Theory, right clik on it and a deploy button should be in the menu near the bottom.
#2 Import the LaSalle_Theory workspace and deploy the InvertedPendulum_Theory. This should also deploy each other theory in the workspace.
#3 Import the PenduleTest workspace and the machines and context should be available and functioning.