1
session Cube! in "." = Pure +
2
description {*
3
Author: Tobias Nipkow
4
Copyright 1992 University of Cambridge
5
6
The Lambda-Cube a la Barendregt.
7
*}
8
theories Example
9