doc-src/Logics/syntax.tex
changeset 15843 d5bd4a18ce70
parent 14209 180cd69a5dbb
child 42637 381fdcab0f36