src/FOL/FOL.ML
author ballarin
Wed, 19 Jul 2006 19:25:58 +0200
changeset 20168 ed7bced29e1b
parent 18914 5a476b10d69c
permissions -rw-r--r--
Reimplemented algebra method; now controlled by attribute.


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