session Cube = Pure +
  description {*
    Author:     Tobias Nipkow
    Copyright   1992  University of Cambridge

    The Lambda-Cube a la Barendregt.
  *}
  options [document = false]
  theories Example

