src/FOL/FOL.ML
author wenzelm
Thu Sep 09 12:25:30 1999 +0200 (1999-09-09)
changeset 7529 fa534e4f7e49
parent 7355 4c43090659ca
child 10062 3b819da9c71a
permissions -rw-r--r--
AddXIs [disjI1, disjI2];
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@7529
     8
AddXIs [disjI1, disjI2];
wenzelm@7529
     9
clasohm@0
    10
open FOL;