- 4.1 Type Parameters
- 4.2 Datatype Definitions
- 4.3 Operator Definitions
- 4.4 Polymorphic Theorems
- 4.5 Proof Rules
- 4.6 Theory Relationships
 |
 |
|
Theory Plug-in User Manual v1.0 |  |
|
|
|
|
|
Theory Plug-in User Manual v1.0 | |
|
|
|
|
|
Theory Plug-in User Manual v1.0 | |
|
|