src/HOL/Typerep.thy
changeset 45802 b16f976db515
parent 45693 bbd2c7ffc02c
child 48272 db75b4005d9a