src/HOL/Typerep.thy
changeset 54257 5c7a3b6b05a9
parent 52435 6646bb548c6b
child 56243 2e10a36b8d46