src/HOL/Subst/Subst.ML
changeset 15140 322485b816ac
parent 5278 a903b66822e2