src/HOL/Datatype_Universe.thy
changeset 10519 ade64af4c57c
parent 10214 77349ed89f45
child 10832 e33b47e4246d