src/Provers/make_elim.ML
2000-06-28 ago implements a classical version of make_elim