src/FOL/FOL.ML

In ZF/Constructible, moved many results from Satisfies_absolute, etc., to
the new theory Internalize.thy

structure FOL =
struct
  val thy = the_context ();
  val classical = classical;
end;

open FOL;