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