src/Doc/Tutorial/document/Isa-logics.eps
changeset 52190 c87b7f26e2c7
parent 48985 5386df44a037