doc-src/Logics/logics.ind
changeset 5393 7299e531d481
parent 5205 602354039306
child 5743 f2cf404a9579