src/FOLP/hypsubst.ML
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-04-07 lcp 1995-04-07 Local version of (original) hypsubst: needs no simplifier