src/HOL/Subst/Setplus.thy
1996-02-05 ago expanded tabs; incorporated Konrad's changes
1995-03-21 ago converted Subst with curried function application