| Sat, 12 Jan 2002 16:37:58 +0100 | wenzelm | renamed forall_elim_vars_safe to gen_all; | file | diff | annotate |
| Fri, 11 Jan 2002 14:53:30 +0100 | wenzelm | replace gen_all by forall_elim_vars_safe; | file | diff | annotate |
| Fri, 11 Jan 2002 00:34:43 +0100 | wenzelm | moved setmksimps to Main! | file | diff | annotate |
| Sat, 08 Dec 2001 17:25:01 +0100 | wenzelm | added Main.ML; | file | diff | annotate |