src/ZF/Main.ML
Sat, 12 Jan 2002 16:37:58 +0100 wenzelm renamed forall_elim_vars_safe to gen_all;
Fri, 11 Jan 2002 14:53:30 +0100 wenzelm replace gen_all by forall_elim_vars_safe;
Fri, 11 Jan 2002 00:34:43 +0100 wenzelm moved setmksimps to Main!
Sat, 08 Dec 2001 17:25:01 +0100 wenzelm added Main.ML;
less more (0) tip