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);