(* Title: CTT/ROOT.ML Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1991 University of Cambridge *) use_thys ["Main"];