diff -r 2aaf339fb7c1 -r 9861257b18e6 doc-src/Classes/Thy/document/Classes.tex