3.2 Create A New Theory

Once the theory is installed, certain menu entries will be added in different places.

In the Event-B Explorer, a new button (red-circled in Figure 1) appears at the top menu.

$\includegraphics{NewTheoryButton.png}$

Figure 1: Explorer New Theory Button

By clicking the button $\includegraphics{newThy.png}$ , a wizard that enables the creation of a new theory is initiated. Figure 2 shows the wizard in action.

$\includegraphics{NewTheoryWizard.png}$

Figure 2: New Theory File Wizard

In the wizard, specify the parent project of the theory and a theory name. The project can be selected using the button on the right hand side of project name text field (akin to selecting a project when creating a new Event-B component). Click the Finish button to create the theory.

If there are no name clashes between the name of the new theory and any existing resources, you should get a theory editor opened up as depicted in Figure 3.

$\includegraphics{TheoryEditor.png}$

Figure 3: The Theory Editor

The theory editor has two pages: an Edit page and an HTML (i.e., pretty print) page. The edit page corresponds to the structured editor. The HTML page is a pretty print view of the theory.