doc-src/Logics/logics.ind
changeset 5769 6a422b22ba02
parent 5766 b4993fc1de58
child 6072 5583261db33d