doc-src/Logics/syntax.tex
changeset 48497 ba61aceaa18a
parent 42637 381fdcab0f36