src/ZF/Main.ML
author wenzelm
Sat Jan 12 16:37:58 2002 +0100 (2002-01-12 ago)
changeset 12725 7ede865e1fe5
parent 12720 f8a134b9a57f
child 17876 b9c92f384109
permissions -rw-r--r--
renamed forall_elim_vars_safe to gen_all;
     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);