src/HOL/UNITY/Extend.ML
changeset 11295 66925f23ac7f
parent 11170 015af2fc7026
child 11467 1064effe37f6
equal deleted inserted replaced
11294:16481a4cc9f3 11295:66925f23ac7f