(* Title: CTT/ex/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of CambridgeExecutes all examples for Constructive Type Theory. *)print_depth 2; time_use "typechk.ML";time_use "elim.ML";time_use "equal.ML";time_use "synth.ML";