doc-src/Logics/defining.tex
changeset 6286 ce30e19af3df
parent 291 a615050a7494
equal deleted inserted replaced
6285:112a15c311f0 6286:ce30e19af3df