package theories
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
Value Members
- object Theory
- object fta extends Theory
- object list extends Theory
- object listdrop extends Theory
- object listfold extends Theory
- object listlength extends Theory
- object logic extends Theory
- object nat extends Theory
- object natdivisible extends Theory
- object natdivision extends Theory
- object natlists extends Theory
- object natorder extends Theory
- object props extends Theory
- object set extends Theory
This is the API documentation for GAPT.
The main package is gapt.