src/FOL/FOL.ML
author wenzelm
Thu, 02 Feb 2006 21:59:55 +0100
changeset 18914 5a476b10d69c
parent 12303 67ca723a02dd
permissions -rw-r--r--
do not open structure;


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