File Main.ML
structure Main = struct val thy = the_context (); end;