src/HOL/Bali/Type.thy
changeset 12937 0c4fd7529467
parent 12858 6214f03d6d27
child 13688 a0b16d42d489