src/FOLP/hypsubst.ML
2008-05-07 berghofe 2008-05-07 Replaced Pattern.eta_contract_atom by Envir.eta_contract.
1997-07-22 paulson 1997-07-22 Removal of the tactical STATE
1997-03-05 paulson 1997-03-05 Now uses eta_contract_atom for greater speed
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-04-07 lcp 1995-04-07 Local version of (original) hypsubst: needs no simplifier