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