1
2
structure Main =
3
struct
4
val thy = the_context ();
5
end;
6
7
simpset_ref() := simpset() setmksimps (map mk_eq o Ord_atomize o gen_all);