doc-src/HOL/logics-HOL.tex
changeset 48497 ba61aceaa18a
parent 42637 381fdcab0f36