1
(* Title: HOL/ROOT.ML
2
ID: $Id$
3
4
Classical Higher-order Logic.
5
*)
6
7
use_thy "Main";
8
9
path_add "~~/src/HOL/Library";