doc-src/IsarAdvanced/Classes/Thy/Classes.thy
changeset 24572 7be5353ec4bd
parent 24348 c708ea5b109a
child 24628 33137422d7fd