src/HOL/Typerep.thy
changeset 58550 f65911a725ba
parent 58310 91ea607a34d8
child 58662 5963cdbad926