src/HOL/Subst/UTerm.ML
1996-02-05 ago expanded tabs; incorporated Konrad's changes
1996-01-30 ago expanded tabs
1995-10-04 ago added local simpsets
1995-03-21 ago converted Subst with curried function application