2 ID: $Id$
3
4 Classical Higher-order Logic -- only "Main".
5 *)
6
7 set new_locales;
8 use_thy "Main";
7 use_thy "Main";