1 (* Title: HOL/main.ML
2 ID: $Id$
3
4 Classical Higher-order Logic -- only "Main".
5 *)
6
7 use_thy "Main";