src/FOL/FOL.ML
author wenzelm
Fri Sep 22 17:24:36 2000 +0200 (2000-09-22)
changeset 10062 3b819da9c71a
parent 7529 fa534e4f7e49
child 11588 d792570a04b1
permissions -rw-r--r--
AddXIs [equal_intr_rule];
clasohm@0
     1
wenzelm@7355
     2
structure FOL =
wenzelm@7355
     3
struct
wenzelm@7355
     4
  val thy = the_context ();
wenzelm@7355
     5
  val classical = classical;
wenzelm@7355
     6
end;
clasohm@0
     7
wenzelm@10062
     8
AddXIs [equal_intr_rule, disjI1, disjI2];
wenzelm@7529
     9
clasohm@0
    10
open FOL;