doc-src/HOL/logics-HOL.tex
changeset 44773 e701dabbfe37
parent 42637 381fdcab0f36