doc-src/IsarAdvanced/Classes/Thy/Classes.thy
changeset 21521 095f4963beed
parent 20946 75b56e51fade
child 22317 b550d2c6ca90