src/HOL/Bali/TypeRel.thy
changeset 13601 fd3e3d6b37b2
parent 12858 6214f03d6d27
child 13688 a0b16d42d489