src/Cube/ROOT

support for 'chapter' specifications within session ROOT;

chapter Cube

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

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