src/HOL/Subst/UTerm.ML
changeset 2115 9709f9188549
parent 1977 26edb2771d94
child 2903 d1d5a0acbf72