doc-src/Logics/Old_HOL.tex
changeset 16836 45a3dc4688bc
parent 9695 ec7d7f877712
equal deleted inserted replaced
16835:2e7d7ec7a268 16836:45a3dc4688bc