(*  Title:    HOL/Prolog/ROOT.ML
    ID:       $Id: ROOT.ML,v 1.3 2004/06/21 08:25:59 kleing Exp $
    Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
*)

use_thy"Test";
use_thy"Type";