src/HOL/HOL.thy
changeset 11008 f7333f055ef6
parent 10489 a4684cf28edf
child 11432 8a203ae6efe3