1
(* Title: HOL/Prolog/ROOT.ML
2
Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
3
*)
4
5
use_thys ["Test", "Type"];