doc-src/Logics/logics.toc
changeset 2606 27cdd600a3b1
parent 465 d4bf81734dfe