doc-src/Classes/Thy/Classes.thy
changeset 47420 0dbe6c69eda2
parent 39743 7aef0e4a3aac