2 structure FOL =
3 struct
4 val thy = the_context ();
5 val classical = classical;
6 end;
7
8 open FOL;