doc-src/HOL/logics-HOL.tex
changeset 47401 8a5a1d26337f
parent 42637 381fdcab0f36