src/HOL/Typerep.thy
changeset 47988 e4b69e10b990
parent 45693 bbd2c7ffc02c
child 48272 db75b4005d9a