| author | wenzelm |
| Tue, 27 May 1997 15:45:07 +0200 | |
| changeset 3362 | 0b268cff9344 |
| parent 2237 | f01ac387e82b |
| child 3511 | da4dd8b7ced4 |
| permissions | -rw-r--r-- |
(* Title: Cube/ROOT ID: $Id$ Author: Tobias Nipkow Copyright 1992 University of Cambridge The Lambda-Cube a la Barendregt *) val banner = "Barendregt's Lambda-Cube"; writeln banner; init_thy_reader(); print_depth 1; use_thy "Cube"; init_pps (); print_depth 8; val Cube_build_completed = (); (*indicate successful build*)