src/HOL/Subst/AList.thy
1995-03-21 clasohm 1995-03-21 converted Subst with curried function application