doc-src/Logics/logics.toc
changeset 1929 f0839bab4b00
parent 465 d4bf81734dfe