doc-src/Classes/Thy/Classes.thy
changeset 47336 bed4b2738d8a
parent 39743 7aef0e4a3aac