doc-src/Logics/logics.ind
changeset 5426 566f47250bd0
parent 5205 602354039306
child 5743 f2cf404a9579