doc-src/IsarRef/Thy/document/Spec.tex
changeset 36456 9fd0f1eacd35
parent 36454 f2b5bcc61a8c
child 37115 9b27c3dccb01