- 3.1 Install Theory Plug-in
- 3.2 Create A New Theory
- 3.3 Add a Type Parameter
- 3.4 Create an Operator Definition
- 3.5 Create a Polymorphic Theorem
- 3.6 Deploy Theory
- 3.7 Use Theory
 |
 |
 |
Theory Plug-in User Manual |  |
 |
|
|
|
|
Theory Plug-in User Manual | |
|
|
In this section, we step through a simple tutorial on how to define and use a simple theory. Click on the links above to navigate through this tutorial.
|
|
|
Theory Plug-in User Manual | |
|
|