Mon, 04 Oct 1999 21:37:35 +0200 | wenzelm | tryres, gen_make_elim moved here; | changeset | files |
Mon, 04 Oct 1999 21:37:00 +0200 | wenzelm | FOLogic.mk_conj; | changeset | files |
Mon, 04 Oct 1999 21:35:26 +0200 | wenzelm | added mk_conj, mk_disj, mk_imp; | changeset | files |