src/HOL/HOL.thy
changeset 50999 3de230ed0547
parent 50360 628b37b9e8a2
child 51021 1cf4faed8b22