src/FOL/FOL.ML
author wenzelm
Thu, 09 Sep 1999 12:25:30 +0200
changeset 7529 fa534e4f7e49
parent 7355 4c43090659ca
child 10062 3b819da9c71a
permissions -rw-r--r--
AddXIs [disjI1, disjI2];


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

AddXIs [disjI1, disjI2];

open FOL;