src/HOL/Subst/UTerm.thy
changeset 2115 9709f9188549
parent 1476 608483c2122a
child 2903 d1d5a0acbf72