src/FOL/FOL.ML
author wenzelm
Fri, 22 Sep 2000 17:24:36 +0200
changeset 10062 3b819da9c71a
parent 7529 fa534e4f7e49
child 11588 d792570a04b1
permissions -rw-r--r--
AddXIs [equal_intr_rule];


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

AddXIs [equal_intr_rule, disjI1, disjI2];

open FOL;