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