src/HOL/Bali/Name.thy
changeset 13601 fd3e3d6b37b2
parent 12859 f63315dfffd4
child 13688 a0b16d42d489