doc-src/Logics/logics.toc
changeset 7261 a141985d660b
parent 465 d4bf81734dfe