Packages

p

gapt.examples

theories

package theories

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. class Theory extends Theory0

    Models a mathematical theory, i.e.

    Models a mathematical theory, i.e. definitions of data types, sorts, constants, etc. (contained in a Context), together with proofs about these objects.

  2. class Theory0 extends AnyRef

Value Members

  1. object Theory
  2. object fta extends Theory
  3. object list extends Theory
  4. object listdrop extends Theory
  5. object listfold extends Theory
  6. object listlength extends Theory
  7. object logic extends Theory
  8. object nat extends Theory
  9. object natdivisible extends Theory
  10. object natdivision extends Theory
  11. object natlists extends Theory
  12. object natorder extends Theory
  13. object props extends Theory
  14. object set extends Theory

Ungrouped