doc-src/IsarRef/Thy/document/HOL_Specific.tex
changeset 41454 1db1b47cec3d
parent 41396 5379e4a85a66
child 41505 6d19301074cf