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";