src/Doc/Logics_ZF/document/logics.sty
changeset 71751 abf3e80bd815
parent 56451 856492b0f755
child 73745 c1e79e266fb3