doc-src/Logics/abstract.txt
changeset 9226 cbe6144f0f15
parent 104 d8205bb279a7