src/HOL/Subst/Unifier.ML
1996-01-30 ago expanded tabs
1995-10-04 ago added local simpsets
1995-03-24 ago changed syntax of tuples from <..., ...> to (..., ...)
1995-03-21 ago converted Subst with curried function application