doc-src/Logics/logics.toc
changeset 11307 891fbd3f4881
parent 465 d4bf81734dfe