src/FOL/FOL.ML
author wenzelm
Wed, 28 Nov 2001 00:37:08 +0100
changeset 12303 67ca723a02dd
parent 11976 075df6e46cef
child 18914 5a476b10d69c
permissions -rw-r--r--
tuned;


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

open FOL;