2 ID: $Id$
3
4 Classical Higher-order Logic -- batteries included.
5 *)
6
7 use_thy "Main";
7 use_thy "Complex/Complex_Main";