doc-src/Logics/abstract.txt
changeset 42847 06d3ce527d29
parent 104 d8205bb279a7