doc-src/Logics/logics.toc
changeset 12899 7d5b690253ee
parent 465 d4bf81734dfe