src/HOL/Typerep.thy
changeset 72139 f5c085dfa02f
parent 69593 3dda49e08b9d
child 74345 e5ff77db6f38