(* Title: CCL/ex/ROOT.ML Author: Martin Coen, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge Examples for Classical Computational Logic. *) use_thys ["Nat", "List", "Stream", "Flag"];