doc-src/Logics/LK-eg.txt
changeset 30895 bad26d8f0adf
parent 5153 51bd3cd9ee85