src/HOL/Typerep.thy
changeset 55058 4e700eb471d4
parent 52435 6646bb548c6b
child 56243 2e10a36b8d46