doc-src/Logics/HOL-rules.txt
changeset 1512 ce37c64244c0
parent 104 d8205bb279a7