author | wenzelm |
Mon, 20 Oct 1997 11:01:07 +0200 | |
changeset 3941 | ea440c63d206 |
parent 3511 | da4dd8b7ced4 |
child 4024 | 3c056eab237c |
permissions | -rw-r--r-- |
(* Title: Cube/ROOT.ML ID: $Id$ Author: Tobias Nipkow Copyright 1992 University of Cambridge The Lambda-Cube a la Barendregt. *) val banner = "Barendregt's Lambda-Cube"; writeln banner; reset global_names; print_depth 1; use_thy "Cube"; print_depth 8; val Cube_build_completed = (); (*indicate successful build*)