doc-src/Classes/Thy/Classes.thy
changeset 42227 662b50b7126f
parent 39743 7aef0e4a3aac