1 (* Title: HOL/plain.ML
2 ID: $Id$
3
4 Classical Higher-order Logic -- plain Tool bootstrap.
5 *)
6
7 use_thy "Plain";