src/Provers/make_elim.ML
2001-12-28 ago fixed variable-clash bug in make_elim
2000-06-28 ago implements a classical version of make_elim