src/FOL/FOL.ML

cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff

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

open FOL;