1
(* Title: HOL/Prolog/ROOT.ML
2
ID: $Id$
3
Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
4
*)
5
6
use_thy"Test";
7
use_thy"Type";