src/FOL/FOL.ML
author wenzelm
Wed Aug 25 20:45:19 1999 +0200 (1999-08-25)
changeset 7355 4c43090659ca
parent 5159 8fc4fb20d70f
child 7529 fa534e4f7e49
permissions -rw-r--r--
proper bootstrap of IFOL/FOL theories and packages;
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
clasohm@0
     8
open FOL;