doc-src/Classes/Thy/Classes.thy
changeset 34952 bd7e347eb768
parent 31931 0b1d807b1c2d
child 35282 8fd9d555d04d