src/FOL/FOL.ML

added a fresh_left lemma that contains all instantiation
for the various atom-types.

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

open FOL;