src/HOL/Datatype_Universe.thy
changeset 11008 f7333f055ef6
parent 10832 e33b47e4246d
child 11451 8abfb4f7bd02