doc-src/IsarRef/Thy/document/HOL_Specific.tex
changeset 34955 57b1eebf7e6c
parent 34172 4301e9ea1c54
child 35351 7425aece4ee3
equal deleted inserted replaced
34954:b206c70ea6f0 34955:57b1eebf7e6c