src/ZF/Main.ML
author paulson
Fri, 01 Oct 2004 11:53:50 +0200
changeset 15222 2406fd8a5c30
parent 12725 7ede865e1fe5
child 17876 b9c92f384109
permissions -rw-r--r--
display-drafts now uses pdf!


structure Main =
struct
  val thy = the_context ();
end;

simpset_ref() := simpset() setmksimps (map mk_eq o Ord_atomize o gen_all);