src/ZF/Main.ML
2002-01-12 ago renamed forall_elim_vars_safe to gen_all;
2002-01-11 ago replace gen_all by forall_elim_vars_safe;
2002-01-11 ago moved setmksimps to Main!
2001-12-08 ago added Main.ML;