doc-src/Logics/abstract.txt
changeset 31408 9f2ca03ae7b7
parent 104 d8205bb279a7