src/HOL/Typedef.thy
changeset 52252 81fcc11d8c65
parent 48891 c0eafbd55de3
child 58239 1c5bc387bd4c
equal deleted inserted replaced
52251:2c141c169624 52252:81fcc11d8c65