doc-src/HOL/HOL.tex
changeset 37891 c26f9d06e82c
parent 31101 26c7bb764a38
child 42627 8749742785b8
equal deleted inserted replaced
37890:aae46a9ef66c 37891:c26f9d06e82c